模态逻辑专题考博试题.docxVIP

模态逻辑专题考博试题

姓名：__________考号：__________

题号

一

二

三

四

五

总分

评分

一、单选题(共10题)

1.什么是模态逻辑中的可能性算子？()

A.□

B.

C.⊥

D.≡

2.模态逻辑中的必然性算子是什么？()

A.□

B.

C.⊥

D.≡

3.以下哪个不是模态逻辑中的命题？()

A.p∧q

B.□p

C.

p→q

D.p→q

4.模态逻辑中的K算子表示什么？()

A.可能性算子

B.必然性算子

C.反射性算子

D.对称性算子

5.模态逻辑中的T算子表示什么？()

A.可能性算子

B.必然性算子

C.反射性算子

D.对称性算子

6.以下哪个不是模态逻辑中的等价算子？()

A.≡

B.≈

C.≈

D.≈

7.模态逻辑中的N算子表示什么？()

A.可能性算子

B.必然性算子

C.反射性算子

D.对称性算子

8.以下哪个不是模态逻辑中的蕴涵算子？()

A.→

B.←

C.?

D.?

9.模态逻辑中的对称性算子是什么？()

A.≡

B.≈

C.≈

D.≈

10.以下哪个不是模态逻辑中的否定算子？()

A.?

B.~

C.?

D.?

二、多选题(共5题)

11.以下哪些是模