第二章 谓词逻辑：在命题逻辑中, 以原子命题为基本研究对象，而不再对命题中的句子成分细分。这样有一些逻辑问题无法解决，例如著名的苏格拉底三段论。我们希望从所使用的符号那里得到更多的信息，比如可以看出自然语句中个体之间的共性，或者个体与全体之间的联系，那么就需要引进新的表示方法，即谓词逻辑。在谓词逻辑中。除了研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，研究由这些非命题成分组成的命题形式的逻辑性质和规律。在本模块主要学习：谓词逻辑的基本概念、谓词逻辑的命题符号化、谓词公式演算以及谓词逻辑推理方法。了解：谓词、命题函数与量词的概念与表示理解：约束变元和自由变元、前束范式的概念掌握：谓词公式的翻译、常用的谓词演算的等价式和蕴涵式并能熟练地求解谓词公式的前束范式灵活运用：谓词演算的等价式与蕴涵式的转化2.1谓词的概念与表示:介绍谓词逻辑的基本概念[单选题]
2.2量词:介绍两个常用的量词
2.3谓词公式与翻译:介绍谓词公式的定义及翻译
2.4变元的约束:介绍变元的约束相关概念、及换名、代入规则
2.5谓词演算的等价式与蕴含式:讨论谓词公式的分类、谓词公式间的关系及一些重要的等价式与蕴含式
2.6前束范式:介绍前束范式、前束合取范式、前束析取范式的概念及求法
2.7谓词演算的推理理论:介绍为演算的推理规则及方法
选项:[
, 
, 
, 
] 
[单选题]
选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 无法确定, 
][单选题]
选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 
, 
]
[单选题]
选项:[矛盾式, 无法确定, 永真式, 非永真式的可满足式]
[单选题]
选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 
, 
]
[单选题]下面给出的一阶逻辑等价式中，错误的是 选项:[
, 
, 
, 
][单选题]
选项:[
, 
, 
, 
][单选题]设个体域为整数集，下列公式中其真值为1的是选项:[
, 
, 
, 
][单选题]
选项:[与谓词变元有关，与论述域无关, 与谓词变元无关，与论述域有关, 与谓词变元和论述域都无关, 与谓词变元和论述域都有关]
