模态逻辑导论题目及答案.docxVIP

模态逻辑导论题目及答案

考试时间：120分钟?总分：100分?年级/班级：高中三年级

模态逻辑导论题目及答案

一、选择题

1.模态逻辑中的符号“□”表示什么含义？

A.必然

B.可能

C.不可能

D.肯定

2.下列哪个命题在经典逻辑中是真的，但在模态逻辑中可能是不真的？

A.“地球是圆的”

B.“2+2=4”

C.“今天下雨”

D.“所有天鹅都是白的”

3.模态逻辑系统K的主要假设是什么？

A.必然性是传递的

B.可能性是自反的

C.必然性是自反的

D.可能性是传递的

4.下列哪个公式是模态逻辑中T系统的定理？

A.□(p→q)→(□p→□q)

B.□p→p

C.p→□p

D.□(p∧q)?(□p∧□q)

5.模态逻辑系统S4的主要假设是什么？

A.必然性是自反的

B.可能性是自反的

C.必然性是传递的

D.可能性是传递的

6.下列哪个公式是模态逻辑中K系统的定理？

A.□(p→q)→(□p→□q)

B.□p→p

C.p→□p

D.□(p∧q)?(□p∧□q)

7.模态逻辑系统S5的主要假设是什么？

A.必然性是自反的

B.可能性是自反的

C.必然性是传递的

D.可能性是传递的

8.下列哪个公式是模态逻辑中T系统的定理？

A.□(p