模态逻辑导论题库及答案.docVIP

模态逻辑导论题库及答案

一、单项选择题（每题2分，共10题）

1.以下哪个公式是模态逻辑中的必然肯定式（）

A.□pB.

pC.?□pD.?

p

答案：A

解析：必然肯定式就是断定事物情况必然存在，用符号表示为□p。

2.“可能p”和“可能非p”之间的关系是（）

A.反对关系B.下反对关系C.矛盾关系D.差等关系

答案：B

解析：“可能p”和“可能非p”不能同假，但可以同真，属于下反对关系。

3.模态命题“必然p”为真时，“p”（）

A.一定为真B.一定为假C.真假不定D.与“必然p”真假无关

答案：A

解析：必然p为真意味着p在所有可能世界中都为真，所以p一定为真。

4.以下模态词中，具有对称性的是（）

A.必然B.可能C.偶然D.以上都不对

答案：C

解析：偶然p等价于可能p且可能非p，具有对称性。

5.模态推理“□(p→q)，□p，所以□q”属于（）

A.模态对当关系推理B.模态三段论C.模态命题的等值推理D.模态复合命题推理

答案：D

解析：这是基于模态复合命题进行的推理。

6.“不可能所有的花都结果”等值于（）

A.可能所有的花都不结果B.必然有的花不结果C.可能有的花不结果D.必然所有的花都不结果

答案：B

解析：“不可能所有的花都结果”即否定了“所有的花都结果”的可能性，等价于必然有的花不结果。

7.模态命题“

(p∨q)”与“

p∨

q”之间的关系是（）

A.等值关系B.矛盾关系C.反对关系D.差等关系

答案：A

解析：根据模态逻辑的等值式，

(p∨q)等值于

p∨

q。

8.以下关于模态词的说法正确的是（）

A.必然是最强的模态词B.可能是最强的模态词C.偶然是最强的模态词D.它们强度一样

答案：A

解析：必然所断定的情况比可能更确定，是最强的模态词。

9.模态推理“

p，所以?□?p”属于（）

A.模态对当关系推理B.模态三段论C.模态命题的等值推理D.模态复合命题推理

答案：C

解析：

p和?□?p是等值关系，属于模态命题的等值推理。

10.“必然p”和“可能非p”之间的关系是（）

A.反对关系B.下反对关系C.矛盾关系D.差等关系

答案：C

解析：二者不能同真也不能同假，是矛盾关系。

二、多项选择题（每题2分，共10题）

1.以下属于模态词的有（）

A.必然B.可能C.应该D.允许

答案：ABCD

解析：必然、可能是常见模态词，应该、允许在规范模态逻辑中也属于类似模态词的范畴。

2.模态命题的种类有（）

A.必然命题B.可能命题C.偶然命题D.实然命题

答案：ABC

解析：模态命题主要包括必然命题、可能命题、偶然命题，实然命题不属于模态命题。

3.模态对当关系推理包括（）

A.反对关系推理B.下反对关系推理C.矛盾关系推理D.差等关系推理

答案：ABCD

解析：模态对当关系推理涵盖了反对、下反对、矛盾、差等这几种关系的推理。

4.以下公式中属于模态逻辑等值式的有（）

A.

p??□?pB.□(p→q)→(□p→□q)C.

(p∨q)?

p∨

qD.□p∨□?p

答案：AC

解析：

p??□?p和

(p∨q)?

p∨

q是模态逻辑中的等值式。

5.模态三段论的形式有（）

A.必然模态三段论B.可能模态三段论C.混合模态三段论D.实然模态三段论

答案：ABC

解析：模态三段论包括必然、可能、混合模态三段论，实然模态三段论不属于模态三段论范畴。

6.与“必然p”具有反对关系的是（）

A.必然非pB.可能pC.可能非pD.?□p

答案：A

解析：必然p和必然非p不能同真，可以同假，是反对关系。

7.模态命题“□(p∧q)”可以推出（）

A.□pB.□qC.

pD.

q

答案：ABCD

解析：□(p∧q)为真时，p和q在所有可能世界都为真，所以能推出□p、□q、

p、

q。

8.以下关于模态逻辑的说法正确的有（）

A.研究模态命题及其推理B.有助于分析哲学中的必然性和可能性问题C.有不同的模态系统D.只关注必然模态词

答案：ABC

解析：模态逻辑研究模态命题