第2章 谓词逻辑(2.1-2.4).pptVIP

第二章 谓词逻辑 §2.1 谓词的概念与表示法 §2.2 命题函数与量词 §2.3 谓词公式与翻译 §2.4 变元的约束 §2.5 谓词演算的等价式与蕴含式 §2.6 前束范式 §2.7 谓词演算的推理理论 第二章 谓词逻辑 教学目的及要求： 深刻理解和掌握谓词逻辑的基本概念和基本推理方法。 教学内容： 谓词的概念与表示、命题函数与量词、谓词公式与翻译、变量的约束、谓词演算的等价式与蕴涵式、前束范式、谓词演算的推理理论。 教学重点： 谓词逻辑中的基本概念和基本推理方法。 教学难点：谓词演算的推理理论。 §2.1 谓词的概念与表示法 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生三大缺点： （1）不能研究命题的结构，成分和内部逻辑的特征 实际上，简单命题还可以进行分解，例如，“王平是大学生”这一简单命题可以分解为主语(王平)和谓语(是大学生)，命题逻辑反映不出这一特点。 §2.1 谓词的概念与表示法 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生三大缺点： （2）也不可能表达二个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 如下两个简单命题“王平是大学生”和“李明是大学生”，有一个共同特点——是大学生，这一共性在命题逻辑中也表示不出来。因此，有必要推广命题逻辑。 §2.1 谓词的概念与表示法 （3）有些简单而正确的推理过程在命题演算里不能得到证明。 例如著名的苏格拉底三段论： “人都是要死的，苏格拉底是人，所以苏格拉底是要死的。” 在命题逻辑中，三个原子命题分别用P，Q，R表示，现在要证明P?Q?R，即证明P?Q?R是重言式，但这在命题逻辑中是不可能的。因此从推理的角度看，也有必要推广命题逻辑。 §2.1 谓词的概念与表示法 1.谓词： [定义]用以刻划客体的性质或关系的即是谓词。 我们可把陈述句分解为二部分： 　　　主语（名词，代词）和谓语（动词）。 例：张华是学生，李明是学生。则可把它表示成： 　H:表示“是学生”，j:表示“张华”，m:表示“李明”，则可用下列符号表示上述二个命题：H(j)，H(m)。 H作为“谓词”（或者谓词字母）用大写英文字母表示，j,m为主语，称为“客体”或称“个体”。 §2.1 谓词的概念与表示法 （1）谓词填式：谓词字母后填以客体所得的式子。 例：H(a, b) （2）若谓词字母联系着一个客体，则称作一元谓词；若谓词字母联系着二个客体，则称作二元谓词；若谓词字母联系着n个客体，则称作n元谓词。 （3）客体的次序必须是有规定的。例：河南省北接河北省。 n L b写成二元谓词为：L(n,b)，但不能写成L(b,n) 。 §2.2 命题函数与量词 1. 命题函数 例：谓词 C: “总是要死的。” 客体 j：张三；t：老虎；e：桌子。 则C(j), C(t), C(e)均表达了命题。 客体在谓词表达式中可以是任意的名词。 在上面的例子中，C：表示“总是要死的”；x：表示变元（客体变元），则C(x)表示“x总是要死的”，则称C(x)为命题函数。 定义:由一个谓词字母和一个非空的客体变元的集合 所组成的表达式，称为简单命题函数。 §2.2 命题函数与量词 讨论定义：（a）当简单命题函数仅有一个客体变元时，称为一元简单命题函数；（b）由一个或n个简单命题函数以及逻辑联结词组合而成的表达式称复合命题函数。 例：设S(x)表示“x学习很好”，用W(x)表示“x工作很好”。 则? S(x)表示“x学习不是很好”。 S(x) ? W(x)表示“x的学习、工作都很好” §2.2 命题函数与量词 讨论定义：（c）命题函数不是一个命题，只有客体变元取特定名称时，则命题函数就变为命题；（d）命题函数中客体变元的取值范围称为个体域（论述域）。把宇宙间一切事物组成的个体域称为全总个体域。个体域可以是有穷集合，例如{1,2,3,4,5}，{a,b,c}等，也可以是无穷集合，例如自然数集，实数集等。同时约定，本书在论述或推理中如无指明所采用的个体域，则都是使用全总个体域。 §2.2 命题函数与量词 例 用客体，谓词表示下列命题。 （1）张华是大学生。 解 令a：张华； S(x)：x是大学生。整个命题可表示为：S(a)。 说明： ①若x的个体域为某大学计算机系的全