第二章1一阶逻辑基本概念.ppt

* （1）? xG（x）的真值规定 ? xG（x）的命题是“对任意x?D，均有G（x）” ? xG（x）的真值为1，当且仅当，对一切x?D，G（x）真 值均为1； ? xG（x）的真值为0，当且仅当，存在x0?D， G（x0）真 值为0。 * （2） ?xG（x）的真值规定 ?xG（x）的命题是“存在一个x0?D，使得G（x0）成立” ?xG（x）的真值为1，当且仅当存在x0?D，G（x0）的真值为1。 ?xG（x）的真值为0，当且仅当，对一切x?D，G（x）的真值为0。 * 注：对于一个谓词，如其每个变量均在量词的管辖下，则该谓词不是命题函数，而是命题了，它有确定的真值了。（闭式） 量化命题的真假与论域有关，可借助循环与搜索来思考。 (1)如果D是有限集,谓词公式中的量词可以用逻辑联结词来解释。例D={a,b,c} ?xP(x) ? P(a) ∧P(b) ∧P(c) ?x P(x) ? P(a) ?P(b) ?P(c) (2)量词不能随便换顺序。对于?和?这两个量词交换位置,其意义不同了,相应真值也可能改变。 * 例：D：自然数全体,G(x,y)：x小于等于y。 ?x?yG(x,y)表示任意一个自然数x,总存在自然数y,使得x小于等于y,该命题是真的。 ?y?x G(x,y)表示存在一个自然数y,使得对一切自然数x,使x小于等于y,即y是最大的自然数。该命题是假的。 * 在命题逻辑中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。例如，著名的亚里士多德三段论苏格拉底推理： 退出 * 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 根据常识，认为这个推理是正确的。但是，若用命题逻辑来表示，设P、Q和R分别表示这三个原子命题，则有 P，Q?R * 然而，(P∧Q)→R并不是永真式，故上述推理形式又是错误的。一个推理，得出矛盾的结论，问题在哪里呢? 问题就在于这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上。对此，命题逻辑是无能为力的。 * 命题逻辑的局限性 单用一个字母表示一个命题，描述不深刻，揭示不出原子命题内部的含义； 命题演算对命题中量的概念无法表示。 有些简单的推理问题，在命题逻辑中无法解决；问题出在各命题之间的逻辑关系不是体现在简单命题之间，而是体现在构成简单命题的内部成分之间，所以在必要对简单命题作进一步细分。 在研究某些推理时，对原子命题进一步分析出其中的个体词，谓词和量词，研究它们的形式结构的逻辑关系、正确的推理形式和规则，这些正是谓词逻辑（或称为一阶逻辑）的基本内容。 * 2.1一阶逻辑基本概念 2.2一阶逻辑合式公式及解释 2.3一阶逻辑等值式 第二章 一阶(谓词)逻辑 * 2.1一阶逻辑基本概念 （个体词、谓词和量词） 在命题逻辑中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两部分组成。在一阶逻辑中，为揭示命题内部结构及其不同命题的内部结构关系，就按照这两部分对命题进行分析，并且把主语称为个体词或客体，把谓语称为谓词。 * 例如：吴华是大学生，用P表示， 李明是大学生，用Q表示。 “……是大学生”用A（x）表示：x是大学生，命题符号含有个体词变量。 a表示吴华，A（a）表示吴华是大学生。 b表示李明，A（b）表示李明是大学生。 相当于“……是大学生”，用A（·）来表示，这就是谓词。 * 例：张三比李四高， 用H（x,y）表示x比y高。 a:张三b:李四 H（a,b）：张三比李四高 H（b,a）：李四比张三高 x,y,a,b表示个体，H（· ,·）是谓词，这个谓词涉及了两个个体，是二元谓词。 * １.个体词、谓词和命题的谓词形式 定义2.1.1 在原子命题中，所描述的对象称为个体词；用以描述个体词的性质或个体词间关系的部分，称为谓词。 个体词，是指可以独立存在的事物，它可以是具体的，也可以是抽象的，如张明，计算机，精神等。表示具体或特定的客体的个体词，称为个体常元，以a，b，c…或带下标的ai，bi，ci…表示；表示抽象或泛指的个体词，称为个体变元，以x，y，z…或xi，yi，zi…表示。 * 个体域：个体变项的取值范围。 （分有限集合和无限集合） 全总个体域：由宇宙间的一切事物组成。 * 谓词，当与一个个体相联系时，它刻划了个体性质；当与两个或两个以上个体相联