Chapter2-谓词逻辑1(12谓词量词).ppt

第9章查找离散数学

DiscreteMathematics第一章内容回顾?一、知识点1．命题的概念、表示方法；联结词的逻辑意义。2．命题公式的递归定义，自然语言翻译成命题公式3．真值表的构造、命题公式等价的概念。4．重言式与蕴涵式的定义、逻辑意义，逻辑等价与逻辑蕴涵的意义和证明方法。常用的逻辑等价公式和逻辑蕴涵公式。5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。逻辑小项、逻辑大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。6．命题逻辑的推理理论，主要的推理方法：真值表法、直接证明法、间接证明法。常用推理规则：P规则、T规则、CP规则。7．命题逻辑的应用示例。二、要求1．识记命题表示方法、真值判断、命题公式的递归定义。2．领会联结词真值确定、翻译、命题公式的等价性和蕴涵性证明、任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。3．简单应用命题逻辑推理规则。

???第二章谓词逻辑

（理论课12学时，共6讲）教学内容学时§2—1谓词的概念与表示

§2—2命题函数与量词2§2—3谓词公式与翻译§2—4变元的约束2§2—5谓词演算的等价式与蕴含式4§2—6前束范式2§2—7谓词演算的推理理论2为什么要研究谓词逻辑？为了刻划命题内部的逻辑结构，需要研究谓词逻辑。为了对论断进行推证，也要对命题的内部关系进行深入地研究。例如简单而有名的苏格拉底三段论都无法用命题逻辑予以推证，但可用谓词逻辑进行推证。命题逻辑研究命题与命题之间的逻辑关系，它的基本研究单位是原子命题。在命题演算中，原子命题是不能再分割的。这样处理原子命题对研究命题间的关系是合适的。但是，因为原子命题不考虑命题内在的结构和逻辑关系，这就使人类的很多思维过程在命题逻辑中表达不出来。逻辑学中著名的三段论方法，是由一个大前提，一个小前提推出结论的方法。这方面的例子如：所有的人都是要死的。苏格拉底是人。所以苏格拉底是要死的。又如：所有的自然数都是有理数。100是自然数。所以100是有理数。显然这些都是正确的推理，但在命题逻辑中却无法得到证明，因为三段论的每句话都是一个原子命题，我们可分别用P，Q，R来表示。这样，三段论方法用形式符号表示应为P∧Q?R即P∧Q→R?T但在命题逻辑里，P∧Q→R显然不是重言式。出现问题的原因在于，三段论中，结论R与前提P，Q的内在联系不可能在命题逻辑中表示出来。苏格拉底三段论是正确的。但用命题逻辑却无法推出。这是因为命题逻辑基本组成单位是原子命题，并把它看作不可再分解的。但两个原子命题间，常常有一些共同特征，为了刻划命题内部的逻辑结构，就需研究谓词逻辑（简称为Lp）。在研究某些推理时，有必要对原子命题作进一步分析，分析出其中的个体词，谓词和量词，研究它们的形式结构的逻辑关系、正确的推理形式和规则，这些正是谓词逻辑的基本内容。所有的人都是要死的。苏格拉底是人。所以苏格拉底是要死的。苏格拉底（前469-前399）古希腊唯心主义哲学家。学习《谓词逻辑》这一章的要求?一、学习目的与要求本章目的是讲授谓词逻辑与命题逻辑的联系与区别，通过本章的学习，使学生了解谓词逻辑的基本概念，掌握谓词逻辑中的基本定义、定理。了解谓词逻辑的推理方法。?二、知识点1.谓词逻辑的概念与表示方法；2.命题函数与量词3.谓词逻辑中的合式公式（Wff）与自然语言的翻译；4.谓词中的变元约束；5．谓词逻辑演算中的等价式与蕴涵式；6．谓词逻辑中的前束范式；7．谓词逻辑的推理理论。三、要求1.识记全称量词、存在量词的概念，量词的辖域，约束变元、自由变元的辨认。2.领会谓词逻辑中的合式公式（Wff）的递归定义、自然语言翻译成谓词公式，化公式为前束范式，谓词逻辑的推理理论、证明方法、推理规则。命题公式扩充到谓词逻辑中的联系与区别。3.简单应用利用谓词逻辑解决简单的论证应用题。第1讲§2