面向计算机科学的数理逻辑答案5.docxVIP

面向计算机科学的数理逻辑答案5

姓名：__________考号：__________

题号

一

二

三

四

五

总分

评分

一、单选题(共10题)

1.以下哪个选项不是逻辑运算符？()

A.AND

B.OR

C.NOT

D.IF

2.在逻辑表达式(AANDB)OR(CANDD)中，如果A和C为假，B和D为真，那么表达式的结果是什么？()

A.真值

B.假值

C.真或假

D.未知

3.在逻辑中，逆否命题与原命题的真值相同，这是以下哪个原理？()

A.对称性原理

B.逆否命题原理

C.交换律

D.结合律

4.以下哪个选项不是命题公式的组成部分？()

A.命题

B.变量

C.值

D.连接词

5.在逻辑表达式(AORB)AND(NOTAORNOTB)中，如果A为真，B为假，那么表达式的结果是什么？()

A.真值

B.假值

C.真或假

D.未知

6.以下哪个选项不是命题逻辑的规则？()

A.交换律

B.结合律

C.分配律

D.对称性原理

7.在逻辑表达式(AIMPLIESB)OR(BIMPLIESA)中，如果A为真，B为假，那么表达式的结果是什么？()

A.真值

B.假值

C.真或假

D.未知

8.以下哪个选项不是命题逻辑中的真值表？()

A.真值表

B.逆否命题表

C.对称性表

D.交换律表

9.在逻辑表达式(AXORB)OR(NOTAANDNOTB)中，如果A为真，B为假，那么表达式的结果是什么？()

A.真值

B.假值

C.真或假

D.未知

10.在逻辑中，等价命题是指两个命题的真值表相同，这是以下哪个原理？()

A.等价性原理

B.逆否命题原理

C.对称性原理

D.结合律

11.以下哪个选项不是逻辑符号？()

A.∧

B.∨

C.→

D.

二、多选题(共5题)

12.以下哪些是命题逻辑的基本运算符？()

A.AND

B.OR

C.NOT

D.IMPLIES

E.XOR

13.以下哪些是命题逻辑的等价关系？()

A.交换律

B.结合律

C.分配律

D.反身性

E.对称性

14.以下哪些命题是逻辑恒真的？()

A.PAND(NOTP)

B.POR(NOTP)

C.PIMPLIESP

D.PIMPLIES(NOTP)

E.PXORP

15.以下哪些是命题逻辑的推理规则？()

A.演绎推理

B.归纳推理

C.演绎法

D.归纳法

E.对比推理

16.以下哪些是命题逻辑中的逻辑等价式？()

A.德摩根定律

B.交换律

C.结合律

D.分配律

E.吸收律

三、填空题(共5题)

17.在逻辑运算中，表示逻辑“与”的符号是______。

18.逻辑表达式(AORB)AND(NOTAORNOTB)的简化形式是______。

19.在命题逻辑中，表示逻辑“非”的符号是______。

20.逻辑蕴含表达式PIMPLIESQ中，当P为假时，无论Q的真假如何，整个表达式的真值是______。

21.在逻辑运算中，表示逻辑“或”的符号是______。

四、判断题(共5题)

22.逻辑表达式(AANDB)OR(NOTAANDB)等价于B。()

A.正确B.错误

23.逻辑运算符AND比OR具有更高的优先级。()

A.正确B.错误

24.逻辑蕴含PIMPLIESQ是等价于PORQ的。()

A.正确B.错误

25.逻辑恒真命题的真值在所有情况下都是1。()

A.正确B.错误

26.在命题逻辑中，如果P为真，那么PIMPLIESP为假。()

A.正确B.错误

五、简单题(共5题)

27.什么是数理逻辑中的命题？

28.什么是逻辑恒真式？

29.德摩根定律是什么？

30.什么是逻辑蕴含？

31.为什么逻辑运算符AND和OR的优先级不同？

面向计算机科学的数理逻辑答案5

一、单选题(共10题)

1.【答案】D

【解析】逻辑运算符包括AND、OR和NOT，IF是一个条件语句，不是逻辑运算符。

2.【答案】A

【解析】因为A和C为假，B和D为真，所以(AANDB)为假，(CANDD)也为