问答题
设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。 甲的演算过程如下： 乙的演算过程如下： 显然，乙的演虎过程简单些，试指出乙在演算过程中的关键步骤。
乙在演算中的关键步骤是，开始时利用量词辖域收缩与扩张等值式，将量词的辖域缩小，从而简化了演算。
问答题 设f（x）=a0+a1x+a2x2+...+anxn，a0，a1，...an为实数，称f（x）为实数域上的n次多项式，令A={f（x）∣f（x）为实数域上的n次多项式，n∈N}。证明：A关于多项式的加法和乘法构成一个环，称为实数域上的多项式。
问答题 设A={a+bi∣a，b∈Z，i2=-1}，证明：A关于复数加法和乘法构成环，称为高斯整数环。
问答题 证明为永真式。
的量词。甲、乙用了不同的演算过程。
