2026年逻辑考核测试题目及答案.doc

2026年逻辑考核测试题目及答案

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

1.在命题逻辑中，_________是命题变元的真值函数。

2.谓词逻辑中，谓词的符号表示通常用_________表示。

3.形式证明中，_________是指从公理和已证明的定理出发，通过推理规则得到新的定理的过程。

4.逻辑推理中，_________是指从前提推导出结论的推理过程。

5.在命题逻辑中，_________是指一个命题的所有可能真值组合及其对应的真值表。

6.谓词逻辑中，_________是指命题中包含的量词，包括全称量词和存在量词。

7.逻辑系统中，_________是指一组不证自明的公理。