量词的来源主要有——

猜你喜欢

• （“”x）（P（x）∧Q（y）→R（x））中量词“”””的辖域为（P（x）∧Q（y））.
• （“”x）（P（x）∧Q（y））→R（x）中量词“”””的辖域为（P（x）∧Q（y））.
• 设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.
• 设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.
• 设个体域D＝{1，2}，则谓词公式（“”x）P（x）∨（$x）Q（x）消去量词后的等值式为（P（1）∧P（2））∨（Q（1）∨Q（2））.