简答题 设f（x）=a₀+a₁x+a₂x²+...+a_nxⁿ，a₀，a₁，...a_n为实数，称f（x）为实数域上的n次多项式，令A={f（x）∣f（x）为实数域上的n次多项式，n∈N}。证明：A关于多项式的加法和乘法构成一个环，称为实数域上的多项式。

设A={a+bi∣a，b∈Z，i2=-1}，证明：A关于复数加法和乘法构成环，称为高斯整数环。

问答题设A={a+bi∣a，b∈Z，i²=-1}，证明：A关于复数加法和乘法构成环，称为高斯整数环。

证明为永真式。

问答题

证明为永真式。

证明为可满足式、但不是永真式。

问答题

证明为可满足式、但不是永真式。