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

数理逻辑考试题目及答案

姓名：__________考号：__________

题号

一

二

三

四

五

总分

评分

一、单选题(共10题)

1.命题p和?p的逻辑关系是什么？()

A.矛盾关系

B.等价关系

C.演绎关系

D.推理关系

2.以下哪个逻辑连接词表示“且”的关系？()

A.∨

B.∧

C.→

D.?

3.以下哪个命题是重言式？()

A.p∨?p

B.p∧?p

C.p→q

D.p→p

4.以下哪个命题是永真式？()

A.p∨q

B.p∧q

C.p→?q

D.p→p

5.以下哪个命题是矛盾式？()

A.p∨q

B.p∧q

C.p→?p

D.p→p

6.以下哪个逻辑连接词表示“或”的关系？()

A.∨

B.∧

C.→

D.?

7.以下哪个命题是析取式？()

A.p∧q

B.p∨q

C.p→q

D.p?q

8.以下哪个命题是合取式？()

A.p∨q

B.p∧q

C.p→q

D.p?q

9.以下哪个命题是条件式？()

A.p∧q

B.p∨q

C.p→q

D.p?q

10.以下哪个命题是双条件式？()

A.p∧q

B.p∨q

C.p→q

D.p?q

二、多选题(共5题)

11.以下哪些逻辑运算符是等价运算符？()

A.∨和∧

B.→和?

C.?和∨

D.?和∧

12.以下哪些命题是重言式？()

A.p∨?p

B.p∧?p

C.p→q

D.p→p

13.以下哪些逻辑运算符是结合运算符？()

A.∨和∧

B.→和?

C.?和∨

D.?和∧

14.以下哪些命题是永真式？()

A.p∨q

B.p∧q

C.p→?q

D.p→p

15.以下哪些命题是矛盾式？()

A.p∨q

B.p∧q

C.p→?p

D.p→p

三、填空题(共5题)

16.在逻辑中，表示命题p的否定的是______。

17.命题p→q中的p称为______。

18.命题p∨q中的∨表示______。

19.逻辑表达式(p∧q)→r中的逻辑连接词→表示______。

20.一个逻辑表达式在所有可能的真值情况下都为真，那么它被称为______。

四、判断题(共5题)

21.逻辑运算符∧和∨是相互独立的。()

A.正确B.错误

22.命题p→q和?p∨q是等价的。()

A.正确B.错误

23.所有重言式都是永真式，但所有永真式不一定是重言式。()

A.正确B.错误

24.逻辑运算符?是可结合的。()

A.正确B.错误

25.在逻辑蕴涵p→q中，如果p为真，那么q也必须为真。()

A.正确B.错误

五、简单题(共5题)

26.请解释什么是逻辑等价？

27.什么是逻辑蕴涵？请举例说明。

28.如何判断一个逻辑表达式是否为重言式？

29.逻辑运算符∧和∨分别表示什么逻辑关系？

30.请解释什么是逻辑矛盾？举例说明。

数理逻辑考试题目及答案

一、单选题(共10题)

1.【答案】B

【解析】命题p和?p是等价关系，因为它们要么同时为真，要么同时为假。

2.【答案】B

【解析】逻辑连接词∧表示“且”的关系，意味着两个命题同时为真时，整个复合命题才为真。

3.【答案】A

【解析】命题p∨?p是重言式，因为它在所有情况下都为真。

4.【答案】D

【解析】命题p→p是永真式，因为它在所有情况下都为真，只要p为真。

5.【答案】C

【解析】命题p→?p是矛盾式，因为它在所有情况下都为假，只要p为真。

6.【答案】A

【解析】逻辑连接词∨表示“或”的关系，意味着至少有一个命题为真时，整个复合命题才为真。

7.【答案】B

【解析】命题p∨q是析取式，因为它表示p或q至少有一个为真。

8.【答案】B

【解析】命题p∧q是合取式，因为它表示p和q同时为真。

9.【答案】C

【解析】命题p→q是条件式，它表示如果p为真，那么q也必须为真。

10.【答案】D

【解析】命题p?q是双条件式，它表示p和q要么