2026年逻辑用语综合试题及答案.docVIP

2026年逻辑用语综合试题及答案

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

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

2.谓词逻辑中的量词包括_________和_________。

3.命题公式G是重言式当且仅当G的所有_________的成真赋值都使G为真。

4.在谓词逻辑中，谓词的_________是指谓词所描述的对象的集合。

5.命题逻辑中的_________是指两个命题公式在所有可能的赋值下具有相同的真值。

6.谓词逻辑中的_________是指在一个谓词公式中，所有量词的范围。

7.命题逻辑中的_________是指一个命题公式不能被任何其他命题公式所蕴涵。

8.在谓词逻辑中，_________是指一个谓词公式中所有自由变元的集合。

9.命题逻辑中的_________是指一个命题公式不能被任何其他命题公式所否定。

10.谓词逻辑中的_________是指一个谓词公式中所有约束变元的集合。

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

1.命题逻辑中的重言式在谓词逻辑中也是重言式。（）

2.谓词逻辑可以表达命题逻辑中所有的命题。（）

3.命题逻辑中的永假式在谓词逻辑中也是永假式。（）

4.谓词逻辑中的量词可以改变命题的真值。（）

5.命题逻辑中的等价式在谓词逻辑中也是等价式。（）

6.谓词逻辑中的自由变元可以独立取值。（）

7