谓词公式考试题目及答案.docxVIP

谓词公式考试题目及答案

考试时间：120分钟?总分：100分?年级/班级：高中一年级

谓词公式考试题目及答案

一、选择题

1.下列哪个表达式是谓词逻辑中的命题？

A.x+y0

B.x是奇数

C.今天下雨

D.如果x0，则x+11

2.下列哪个是谓词逻辑中的量词？

A.∧

B.∨

C.?

D.→

3.下列哪个谓词公式是永真的？

A.?x(P(x)→P(x))

B.?x(P(x)∧?P(x))

C.?x(P(x)∧?P(x))

D.?x(P(x)→P(x))

4.下列哪个谓词公式是可满足的？

A.?x(P(x)∧?P(x))

B.?x(P(x)∧Q(x))

C.?x(P(x)→Q(x))∧?x(?P(x))

D.?x(P(x)→?P(x))∧?x(P(x)→P(x))

5.下列哪个是谓词逻辑中的联结词？

A.∈

B.?

C.→

D.∩

6.下列哪个是谓词逻辑中的谓词？

A.∧

B.∨

C.?

D.P(x)

7.下列哪个谓词公式是可证明的？

A.?x(P(x)→Q(x))→(?xP(x)→?xQ(x))

B.?x(P(x)→Q(x))→(?xP(x)→?xQ(x))

C.?x(P(