模态阵型试题与答案.docxVIP

第PAGE页共NUMPAGES页

模态阵型试题与答案

考试说明

本试题满分100分，考试时间120分钟。试题分为选择题、填空题、判断题、简答题、分析题五部分，请将答案写在答题卡指定位置。

试题部分

一、选择题（每小题3分，共15分，在每小题给出的四个选项中，只有一项是符合题目要求的）

1.下列命题中，属于必然命题的是（）

A.明天可能会下雨

B.2+2=4

C.这朵花是红色的

D.他明天会来参加会议

2.在模态逻辑中，符号“□”表示（）

A.可能性算子

B.必然性算子

C.实质蕴涵

D.合取算子

3.根据模态命题对当关系，必然非p与可能p之间具有（）

A.差等关系

B.反对关系

C.矛盾关系

D.下反对关系

4.在模态逻辑系统S5中，下列公式有效的是（）

A.□p→

p

B.

□p→□p

C.□p→□□p

D.以上都是

5.“并非必然所有S都是P”这一命题的逻辑等值于（）

A.可能所有S都不是P

B.可能有的S不是P

C.必然有的S不是P

D.可能有的S是P

二、填空题（每小题2分，共10分）

6.模态逻辑研究的是含有______或______的命题及其推理规律。

7.“□(p→q)”读作“______”，表示“如果p必然真，那么q必然真”。

8.模态命题“必然p”的矛盾命题是______。

9.在模态逻辑中，公式“

p→□

p”属于系统______的特征公理。

10.若“必然p”为真，则“可能p”的真值为______。

三、判断题（每小题2分，共10分，对的打“√”，错的打“×”）

11.必然命题的真值不依赖于经验事实，仅由逻辑形式决定。（）

12.“可能非p”与“必然p”之间具有下反对关系。（）

13.在模态逻辑系统T中，公式“□p→p”是有效的。（）

14.模态三段论的有效性完全取决于其逻辑形式，与内容无关。（）

15.“必然（如果p那么q）”等值于“如果必然p那么必然q”。（）

四、简答题（每小题10分，共20分）

16.简述模态逻辑与经典逻辑的主要区别。

17.什么是模态命题的对当关系？请用逻辑方阵图表示必然p、必然非p、可能p、可能非p之间的关系。

五、分析题（共45分）

18.（15分）分析下列模态推理是否有效，并说明理由：“必然所有金属都是导电的，所以，所有金属都是导电的。”

19.（15分）设命题p为“地球绕太阳转”，q为“1+1=2”，请写出下列模态命题的符号表达式，并判断其真值（在现实世界中）：

（1）如果p是必然的，那么q是必然的；

（2）可能p且可能非p。

20.（15分）证明在模态逻辑系统S5中，公式“

p→□

p”是有效的（可借助语义图或公理推演）。

答案与解析

一、选择题

1.B

【解析】必然命题是表达必然性的命题，其真值在所有可能世界中都为真。选项A、C、D均涉及经验事实，其必然性不成立；选项B“2+2=4”是数学真理，具有必然性，故选B。

2.B

【解析】模态逻辑中，“□”表示必然性算子（必然），“

”表示可能性算子（可能），故选B。

3.C

【解析】模态命题对当关系中，必然非p（□?p）与可能p（

p）是矛盾关系，二者不能同真不能同假，故选C。

4.D

【解析】系统S5是模态逻辑中较强的系统，包含系统T、S4的特征公理。A选项“□p→

p”是T系统的有效公式（必然蕴涵可能）；B选项“

□p→□p”是S5的有效公式（可能必然蕴涵必然）；C选项“□p→□□p”是S4的有效公式（必然蕴涵必然必然），故选D。

5.B

【解析】“并非必然所有S都是P”即?□?x(Sx→Px)，根据模态否定等值式，?□φ≡

?φ，故等值于“

??x(Sx→Px)”，即“可能有的S不是P”（

?x(Sx∧?Px)），故选B。

二、填空题

6.必然性；可能性

【解析】模态逻辑的核心研究对象是含有“必然”“可能”等模态词的命题及其推理规律。

7.必然地，如果p那么q

【解析】“□(p→q)”是模态命题的符号表示，读作“必然地，如果p那么q”，表示“p→q”这一命题在所有可能世界中为真。

8.可能非p（或“

?p”）

【解析】“必然p”（□p）的矛盾命题是其否定，即“并非必然p”，等值于“可能非p”（

?p）。

9.S5

【解析】公式“

p→□

p”是S5系统的特征公理，表示“如果p是可