陕西师范大学《离散数学》课件-第2章谓词逻辑.pptxVIP

; ; ; ; ;;;; 命题逻辑研究的对象是命题及命题之间的逻辑关系。命题逻辑认为命题不可分，命题之间的关系通过命题的真假值反映出来。这样虽然能进行简单的推理，但它的表达能力有限。例如下列简单的苏格拉底三段论就不能用命题逻辑进行推理：; 所有的人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。; 所以需要对命题的内部结构进行细分研究。根据语法分析中将句子分成主语、谓语这样的成分的思想，我们引入谓词演算。 ;;?;?;?; 有了个体和谓???的概念之后，可以进一步刻画命题的内在结构和命题之间的关系。 例如，“张三是大学生”和“李四是大学生”之间的关系是用命题逻辑无法表达的，现在可用谓词“…是大学生”及个体“张三”“李四”刻画。;?;?;?;?;?;?;?;?;?; 有了个体和谓词的概念之后，对有些命题仍然不能准确地符号化，如“所有人都是要死的”。原因是还缺少表示个体数量关系的词。下面我们再引入量词的概念。;?;?;?;?;注 在上述例子中，个体域都默认为全总个体域。但如果指定一个特定的个体域，则其符号化结果将会有所不同。;?;?;?;?;; 这一节的主要内容： 谓词公式、谓词公式的翻译;?;?; 谓词公式中的某些括号也可以省略，其规定与命题公式相同，但量词后若有括号则一般不允许省略。特别地，命题公式也是谓词公式，因此命题逻辑包含在谓词逻辑中。; 把一个用自然语言表示的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化。;?;?;?;?;?;; 这一节的主要内容： 自由变元、约束变元、辖域、闭式、代入规则、换名规则;?;注 判断量词的辖域要看其后是否跟的是括号，如是括号，则括号内的子公式为其辖域，否则量词邻接的子公式是其辖域。;?;?;?;?;?; 在谓词公式中，自由变元虽然可以出现在量词的辖域中，但它不受相应量词中指导变元的约束。另一方面，在谓词公式中，一个个体变元可以既是约束变元，也是自由变元。为了避免一个变元既是约束变元又是自由变元引起的混乱，可以对约束变元或自由变元进行改名，使得一个变元在一个公式中只呈现一种形式。;换名规则：将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。 代入规则：对某个自由个体变元用与原公式中所有个体变元不同的个体变元代入，且处处代入。 注 换名规则用于约束变元，代入规则用于自由变元。;?;?;?;?;?;; 这一节的主要内容： 谓词公式的解释、永真式（逻辑有效式）永假式、可满足式;?;?;?;?;?;?;?;?;; 这一节的主要内容： 基本谓词公式等价式（量词否定、量词辖域扩张与收缩、量词分配、量词交换）、基本量词蕴涵式;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;; 这一节的主要内容： 谓词公式的前束范式、斯柯林范式;?;?;?;?;?;?;; 这一节的主要内容： 全称量词消去和引入规则、存在量词消去和引入规则谓词、谓词演算的推理过程;?;?;?;?;?;?;?;?;?; 谓词演算中推理的一般过程是： 先把带量词前提中的量词去掉，使用命题逻辑的推理，推出结果后，再把量词附加上去，得出谓词逻辑的结论。;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;?;陕西师范大学计算机科学学院