形法学(2)试题及答案.docx

形法学(2)试题及答案

一、选择题(40分)

1.关于形式逻辑中的命题逻辑,下列说法正确的是:

A.命题逻辑只研究简单命题之间的关系

B.命题逻辑研究复合命题的真值条件

C.命题逻辑不包含量词

D.命题逻辑不能处理模态问题

2.在谓词逻辑中,全称量词?xP(x)表示:

A.存在至少一个x使得P(x)为真

B.对于所有的x,P(x)都为真

C.不存在x使得P(x)为真

D.对于至少一个x,P(x)为真

3.下列哪项不属于模态逻辑的基本模态算子?

A.□(必然)

B.

(可能)

C.∧(合取)

D

文档评论(0)

1亿VIP精品文档

相关文档