计算机数学基础上第1编谓词逻辑.PPTVIP

计算机数学基础(上)第1编 数理逻辑 第二章 谓词逻辑 本章主要内容： 谓词与量词 公式与解释 前束范式 谓词逻辑推理 重点：量词、谓词公式、解释与真值、前束范式 难点：求真值、求前束范式、谓词推理 2.1 谓词逻辑基本概念 一、命题的构成 原子命题是由主语和谓语两部分构成的。 主语——个体词 主语的取值范围称为个体域 个体(客体)常用a、b、c等表示。 谓语——表述客体的性质和客体间关系的词。 谓语(谓词)常用A(x)、B(x)、P(x,y)等表示。 谓词不是命题，只有当谓词中的变项取定具体的个体值时才是命题。 所以，A(a)、B(a)、F(a,b)等才是命题。 二、命题函数 1．简单命题函数 表示一般谓词的式子如A(x)、P(x,y)，称为简单命题函数。 2。复合命题函数 有限个简单命题函数和联结词 组成的表达式称为复合命题函数。 3。命题函数本身不是命题，只有命题函数中的变元取得特定的值后才是命题。 三、量词 表达个体在个体域中取值情况的词称为量词。 量词有全称量词和存在量词两种。 1。全称量词 表示个体的取值情况为“所有的”、“每一个”等。特性谓词后面用 联结。 例如，命题：所有的素数都是整数，符号化为： A(x):x是素数，H(x):x是整数， 2。存在量词 表示个体的取值情况为“存在某个”、“至少有一个”等。特性谓词后面用 联结。 例如，命题：有的素数是偶数，符号化为： A(x):x是素数，M(x):x是偶数， [2000年1月单项选择题1] 设F(x):x是鸟，G(x):x会飞，命题“鸟都会飞”符号化为 。 A） B） C） D） 再如课本P.42 (B) 1 设A(x):x是人，B(x):x犯错误，命题“没有不犯错误的人”可符号化为 。 解：原命题的意思是：不存在不犯错误的人。 符号化为： 四、多个量词的使用 包含有多个个体的命题，可能会对不同的个体使用不同的量词。对这样的命题符号化时要注意： 1。量词的顺序不能改变，否则会改变命题的含义。 2。特性谓词后面的联结符通常由括号最前面的量词决定。 例如， [2000年7月填空题6] 设N(x):x是自然数，H(x,y):y是x的后继数，命题“每个自然数都有后继数”可符号化为 。 解： [2001年1月单项选择题1] 设X(x):x是学生，L(x):x是老师，H(u,t):u爱戴t，命题“所有学生都爱戴某些老师”符号化为 。 A） B） C） D） 2.2 谓词公式 一、谓词公式 1。项 ⑴任意个体常项或个体变项是项， ⑵以项 为取值的函授值 是项， ⑶有限次地使用⑴⑵生成的符号串是项。 2。原子公式 若 是n元函数， 是项， 则 是原子公式。 3。合式公式 ⑴原子公式是合式公式， ⑵若A、B是合式公式，则 也是合式公式， ⑶若A是合式公式，x是A中出现的变元，则 也是合式公式， 　　⑷有限次地使用⑴⑵⑶生成的符号串是合式公式(谓词公式)。 二、变元 在合式公式化 中， x：指导变元，A：量词 的辖域。 若A中有x，则x称为约束变元， 若A中无x，则x称为自由变元。 例如在 中， x是约束变元，约束出现2次， y是自由变元， 的辖域是