数理逻辑考试题目及答案.docVIP

数理逻辑考试题目及答案

一、单项选择题（总共10题，每题2分）

1.下列哪个符号在数理逻辑中代表“非”？

A.∧

B.∨

C.?

D.→

答案：C

2.逻辑表达式(P∧Q)→R的真值表中有多少个真值组合？

A.2

B.4

C.8

D.16

答案：B

3.下列哪个是逻辑恒真式？

A.P∧?P

B.P∨?P

C.P→?P

D.?(P∧Q)?(?P∨?Q)

答案：B

4.逻辑表达式(P→Q)?(?Q→?P)在数理逻辑中代表什么？

A.双重否定律

B.逆否律

C.结合律

D.分配律

答案：B

5.下列哪个是逻辑恒假式？

A.P∨?P

B.P∧?P

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

D.?(P∧?P)

答案：B

6.在命题逻辑中，下列哪个符号代表“对于所有”？

A.?

B.?

C.→

D.∧

答案：B

7.逻辑表达式?x(P(x)→Q(x))在数理逻辑中代表什么？

A.存在量词

B.全称量词

C.蕴含式

D.合取式

答案：B

8.下列哪个是逻辑等价式？

A.P∧(Q∨R)?(P∧Q)∨(P∧R)

B.P→Q??P∨Q

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

D.P?Q??