离散数学 第7章 谓词逻辑.ppt

离 散 数 学第3编 数理逻辑 第七章 谓词逻辑 7.1 谓词的概念及表示 一、命题的构成 原子命题是由主语和谓语两部分构成的。 主语——个体词 主语的取值范围称为个体域 个体(客体)常用a、b、c等表示。 谓语——表述客体的性质和客体间关系的词。 谓语(谓词)常用A(x)、B(x)、P(x,y)等表示。 谓词不是命题，只有当谓词中的变项取定具体的个体值时才是命题。 所以，A(a)、B(a)、F(a,b)等才是命题。 7.2 命题函数与量词 一、命题函数 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] = [2006年1月填空题7] 设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的后继数，命题“每个自然数都有后继数”可符号化为 。 解： [2000年7月选择题2] 设个体域为整数，下列公式中真值为1的是 A） B） C） D） 解：各答案的意义是： 任取一个x和任取一个z，都满足x+z=0 任取一个x，存在一个t，满足x+t=0 存在一个y，对于任取的一个z，满足y+z=0 不存在这样的u，v，满足u+v=0 正确答案为B 7.3 谓词公式的翻译与解释 一、谓词公式 1。原子公式 若 是n元函数， 是个体 变元，则 是原子命题公式。 2。合式公式 ⑴原子公式是合式公式， ⑵若A、B是合式公式，则 也是合式公式， ⑶若A是合式公式，x是A中出现的变元，则 也是合式公式， ⑷有限次地使用⑴⑵⑶构成的公式是合式公式。 7.4 变元的约束 一、变元 在合式公式 中， x：指导变元，A：量词 的辖域。 若A中有x，则x称为约束变元， 若A中无x，则x称为自由变元。 例如在 中， x是约束变元，约束出现2次， y是自由变元， 的辖域是 ，即约束变元后面括号内的式子是辖