复习题-第3章 谓词逻辑.pdf

第3章谓词逻辑

一、单项选择题

1.设论域的元素为a和b，与谓词公式∀xP(x)等价的是

A.P(a)∧P(b)B.P(a)VP(b)C.P(a)→P(b)D.P(b)→P(a)

2.设论域为{a,b},与谓词公式∃xP(x)等价的是

∨

A.P(a)∧P(b)B.P(a)P(b)C.P(a)→P(b)D.P(b)→P(a)

3.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于()

A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B

4.下列谓词公式中与公式∀xA(x)→∃xB(x)等价的是

A.∃x(A(x)→B(x))B.∀x(A(x)→B(x))

C.∃xA(x)→∃xB(x)D.∀xA(x)→∀xB(x)

5.设论域为{l，2}，与公式(x)A(x)等价的是()