在谓词逻辑的推导过程中，如既要使用规则US 又要使用规则ES 消去量词，而且选用的个体是 同一个符号，则必须先使用规则ES，再使用规则US。

设个体域为A={a,b}，公式消去量词后应为.

设个体域D={a,b}，则公式消去所有的量词应为

A、

B、

C、

D、

A、前提

B、条件

C、全称量词

D、谓词

设，，则和分别是（ ）

A、{3}，{4}

B、{3}，{2，3，4，5}

C、{1，2，3}，{4}

D、{1，2，3}，{2，3，4，5}

A、

B、

C、

D、