第02章谓词逻辑.pptVIP

第二章 谓词逻辑 在命题逻辑中，把命题分解到原子命题为止，认为原子命题是不能再分割的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。 著名的苏格拉底三段论： 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 根据常识，认为这个推理是正确的。但是，若用命题逻辑来表示，设P、Q和R分别表示这三个原子命题，则有 P∧Q?R 问题就在于这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上。 对此，命题逻辑是无能为力的。 所以，在研究某些推理时，有必要对原子命题作进一步地分析，分析出其中的个体词、谓词和量词，以期达到表达出个体与总体的内在联系和数量关系，研究它们的形式结构及逻辑关系、总结出正确的推理形式和规则，这些正是谓词逻辑的基本内容。 第二章 谓词逻辑 2.1 谓词的概念与表示 2.2 命题函数与量词 2.3 谓词公式与翻译 2.4 变元的约束 2.5 谓词演算的等价式与蕴含式 2.6 前束范式 2.7 谓词演算的推理理论 2.1 谓词的概念与表示 在命题逻辑中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两部分组成。 在谓词逻辑中，为揭示命题内部结构及其不同命题的内部结构关系，就按照这两部分对命题进行分析，并且把主语称为个体词或客体，把谓语称为谓词。 定义2-1.1 在原子命题中，所描述的对象称为客体或个体词；用以刻划客体的性质或客体间关系的部分，称为谓词。 客体——是指可以独立存在的，它可以是具体的事物，也可以是抽象的概念。 如：李明，计算机，玫瑰花，自然数，思想，定理等。 表示具体的或特定的个体的词称为个体常元，一般用 a，b，c…或带下标的 ai，bi，ci…表示； 表示抽象的或泛指的个体的词称为个体变元，常用 x，y，z…或 xi，yi，zi…表示。 个体变元的取值范围称为个体域（或论域）。 个体域可以是有限事物的集合，也可以是无限事物的集合。 当无特殊声明时，将宇宙的一切事物组成个体词域，称为全总个体域。 谓词——当与一个个体词相联系时，它刻划了个体词性质；当与两个或两个以上个体词相联系时，它刻划了个体词之间的关系。 表示具体性质或关系的谓词，称为谓词常元。表示抽象的或泛指的谓词，称为谓词变元，都用大写英文字母，如P，Q，R，…， 注：在本课程中，不对谓词变元作更多地讨论。 例如，在命题“张明是位大学生”中，“张明”是客体，“是位大学生”是谓词，它刻划了“张明”的性质。 设 S：…是位大学生。 c：张明。 则“张明是位大学生”可表示为 S(c)， 或者写成 S(c)：张明是位大学生。 又如，在命题“武汉位于北京和广州之间”中，武汉、北京和广州是三个个体词，而“…位于…和…之间”是谓词，它刻划了武汉、北京和广州之间的关系。 设 P：…位于…和…之间。 a：武汉，b：北京，c：广州， 则 P(a,b,c)：武汉位于北京和广州之间。 定义2-1.2 一个原子命题用一个谓词(如P)和n个有次序的个体常元 (如a1，a2，…，an)表示成 P(a1，a2，…，an)，称它为该原子命题的谓词形式或命题的谓词形式。 应注意的是，命题的谓词形式中的个体词出现的次序影响命题的真值，不能随意变动，否则真值会有变化。如上述例子中， P(a,b,c)为真，而 P(b,a,c)是假。 在谓词逻辑中所包含的客体数称为元数。 含n（n≥1）个客体的谓词称为n元谓词。 当n=1时，称一元谓词，是表达了客体的“性质”。 当n=2时，称为二元谓词，表达了两个客体之间的“关系”。 …… 特别地，当n=0，称为零元谓词。零元谓词是命题，这样命题与谓词就得到了统一。 例：将下列命题用0元谓词符号化。 (1) 2是素数且是偶数。 (2) 如果2大于3，则2大于4。 (3) 如果张明比李民高，李民比赵亮高，则张明比赵亮高。 解：(1) F(x)：x是素数。G(x)：x是偶数。a: 2 则命题符号化为：F(a)∧G(a) (2) L(x,y)：x大于y。 a: 2；b: 3；c: 4 则命题符号化为：L(a,b) →L(a,c) (3) H(x,y): x比y高。a: 张明；b: 李民；c: 赵亮 则命题符号化为：H(a,b) ∧ H(b,c) →H(a,c) 2.2 命题函数与量词 原子命题的谓词形式还可以进一步加以抽象，比如在谓词右侧的圆括号内的n个个体常元被替换成个体变元，如 x1,x2,···,xn，这样便得了一种关于命题结构的新表达形式，称之为 n元谓词。 定义2-2.1 由一个谓