当堂数理逻辑验证思维卷.docxVIP

当堂数理逻辑验证思维卷

考试时间：120分钟?总分：150分?年级/班级：__________

当堂数理逻辑验证思维卷

一、选择题

1.下列哪个命题是永真式？

A.p∨?p

B.p∧?p

C.p→p

D.?(p∧?p)

2.在命题逻辑中，下列哪个等式成立？

A.(p∧q)→p≡p

B.(p∨q)→p≡p

C.(p∧q)→p≡q

D.(p∨q)→p≡?p

3.下列哪个是正确的逻辑推理？

A.若p则q，q为真，则p为真。

B.若p则q，?p为真，则q为真。

C.若p则q，?q为真，则p为真。

D.若p则q，?p为真，则?q为真。

4.在谓词逻辑中，下列哪个是正确的量词用法？

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

B.?x(P(x)∧Q(x))≡?xP(x)∧?xQ(x)

C.?x(P(x)→Q(x))≡?xP(x)→?xQ(x)

D.?x(P(x)∧Q(x))≡?xP(x)∧?xQ(x)

5.下列哪个是正确的谓词逻辑推理？

A.?xP(x)→Q(a)，则Q(b)为真。

B.?xP(x)→Q(a)，则?xQ