问答题
简答题
设个体域D={a，b，c}，在D中消去公式
的量词。甲、乙用了不同的演算过程。
甲的演算过程如下：
乙的演算过程如下：
显然，乙的演虎过程简单些，试指出乙在演算过程中的关键步骤。
【参考答案】
乙在演算中的关键步骤是，开始时利用量词辖域收缩与扩张等值式，将量词的辖域缩小，从而简化了演算。
点击查看答案
