2026年命题逻辑测试题及答案.docVIP

2026年命题逻辑测试题及答案

一、填空题（每题2分，共20分）

1.在命题逻辑中，_________是命题变元的最小集合。

2.命题公式G是重言式当且仅当G在_________的真值赋值下为真。

3.推理规则_________允许从前提p和q推出结论p∧q。

4.命题逻辑中的_________是指一个命题公式在所有可能的真值赋值下都为真。

5.在命题逻辑中，_________是一种推理规则，用于从p和?p推导出任意结论q。

6.命题公式G是可满足的当且仅当存在_________的真值赋值使得G为真。

7.推理规则_________允许从前提p∨q推出结论p。

8.命题逻辑中的_________是指一个命题公式在所有可能的真值赋值下都为假。

9.在命题逻辑中，_________是一种推理规则，用于从p和q推导出结论p∨q。

10.命题公式G是矛盾式当且仅当_________。

二、判断题（每题2分，共20分）

1.命题公式G是重言式当且仅当G在任何真值赋值下都为真。（）

2.推理规则ModusPonens允许从前提p∧q推出结论p。（）

3.命题公式G是可满足的当且仅当存在一个真值赋值使得G为真。（）

4.命题逻辑中的重言式是指一个命题公式在所有可能的真值赋值下都为假。（）

5.在命题逻辑中，推理规则DisjunctiveSyllogi