1.单选题

谓词推理要

A. 先US，后ES

B. 先ES，后US

正确答案： B

2.单选题

前提: (∀x)(F(x)→G(x))，(∃x)F(x)， 结论: (∃x)G(x)。

A. 成立

B. 不成立

正确答案： A

3.单选题

根据ES规则，若(∃x)P(x)和(∃x)Q(x)都为真，则对于某些c，可以断定P(c)∧Q(c)必定为真。

A. 对

B. 错

正确答案： B

4.单选题

∀xP(x)→∃yQ(x,y)的前束范式是

A. ∀x∃y（P(x)→Q(x,y)）

B. ∀x∀y（P(x)→Q(x,y)）

C. ∃x∀y（P(x)→Q(x,y)）

D. ∃x∃y（P(x)→Q(x,y)）

E. ∃x∃y（P(x)→Q(z,y)）

正确答案： E

5.单选题

设论域元素为a1，a2， … ，an。 则消去量词 (∀x)A(x) ⇔

A. A(a1)∧A(a2 ) ∧ … ∧ A(an)

B. A(a1)∨A(a2 ) ∨ … ∨ A(an)

正确答案： A

6.单选题

(∃x)( F(x)∧Q(y)∧(∀y)( G(y)→H(x,y) ) )中Q(y)的y是

A. 约束变元

B. 自由变元

正确答案： B

7.单选题

(∀x)(P(x)∨Q(x))⇒(∀x)(P(x)∧Q(x))

A. 对

B. 错

正确答案： B

8.单选题

A. 对

B. 错

正确答案： A

9.单选题

A. 对     

B. 错

正确答案： B

10.单选题

A. 对     

B. 错

正确答案： B

11.单选题

A. A

B. B

C. C

D. D

正确答案： B

12.单选题

A. A

B. B

C. C

D. D

正确答案： C

13.单选题

A. 对

B. 错

正确答案： A

14.单选题

A. 对

B. 错

正确答案： B

15.单选题

A. 对

B. 错

正确答案： B

16.单选题

A. A

B. B

C. C

D. D

正确答案： B

17.单选题

A. A

B. B

C. C

D. D

正确答案： D

18.单选题

A. A

B. B

C. C

D. D

正确答案： D

19.单选题

A. A

B. B

C. C

D. D

正确答案： C

20.单选题

A. A

B. B

C. C

D. D

正确答案： C