一般情况下，所有命题的个体域统一为全总个体域；且对全称量词，特性谓词作为条件命题的前件加入； 对存在量词，特性谓词作为合取项加入。（）

设个体域A={1，2}，消去公式中的量词．

A.定义域

B.个体域

C.辖域

D.值域

设个体域D={a，b，c}，消去下列各公式中的量词。

谓词公式中量词的辖域是().

在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为(a)、(b)条件时命题的真值．

(1)凡有理数都能被2整除．

(2)有的有理数能被2整除．

其中，(a)个体域为有理数集合；(b)个体域为实数集合．

A.前提

B.条件

C.全称量词

D.谓词