1、1,第二章 谓词逻辑,1 谓词的概念与表示法 2 命题函数与量词 3 谓词公式与翻译 4 变元的约束 5 谓词演算的等价式与蕴含式 6 前束范式 7 谓词演算的推理理论,2,1 谓词的概念与表示法,1. 谓词的提出 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生两大缺点： （1）不能研究命题的结构、成分和内部逻辑的特征； （2）也不可能表达二个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。,3,1 谓词的概念与表示法,命题逻辑的局限： 1. 命题作为最小的基本单元。例 P: 王红是个大学生。Q: 黎明是个大学生。 2. 命题
2、逻辑在推证中的局限。,4,1 谓词的概念与表示法,例：苏格拉底论证是正确的，但不能用命题逻辑的推理规则推导出来。 所有的人都是要死的， P 苏格拉底是人， Q所以苏格拉底是要死的。 R 则有 P，QR 然而，(PQ)R并不是永真式，故上述推理形式 是错误的。,5,1 谓词的概念与表示法,2. 谓词的概念在命题逻辑中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两部分组成。在谓词逻辑中，为揭示命题内部结构及其不同命题的内部结构关系，对命题进行分析，并且把主语称为个体或客体，把谓语称为谓词。,定义：在反映判断的句子中，用以刻划客体的性质或关系的即是谓词。,6,1 谓词的概念与表
3、示法,客体，是指可以独立存在的事物，它可以是具体的，也可以是抽象的，如张明，计算机，精神等。 表示特定的个体，称为客体常元，以a，b，c或带下标的ai，bi，ci表示； 表示不确定的个体，称为客体变元，以x，y，z或xi，yi，zi表示。,7,1 谓词的概念与表示法,谓词，当与一个个体相联系时，它刻划了个体性质；当与两个或两个以上客体相联系时，它刻划了客体之间的关系。 表示特定谓词，称为谓词常元， 表示不确定的谓词，称为谓词变元，都用大写英文字母，如P，Q，R，或带下标来表示。,8,1 谓词的概念与表示法,他是三好学生。 7是质数。 每天早晨锻炼是好习惯。5大于3。 哥白尼指出地球绕着太阳转。
4、,9,1 谓词的概念与表示法,3.谓词的表示 用大写字母表示谓词。 用大写字母右侧括号内的小写字母表示客体。 例： A：是个大学生。 b：张三。 e：李四。A(c)：张三是个大学生。A(e)：李四是个大学生。 注意：用谓词表达命题，必须包括客体和谓词字母两部分。,10,1 谓词的概念与表示法,例：武汉位于北京和广州之间。武汉、北京和广州是三个个体，而“位于和之间”是谓词，它刻划了武汉、北京和广州之间的关系。设P：位于和之间，a：武汉，b：北京，c：广州，则P(a，b，c)：武汉位于北京和广州之间。,11,注意： 1. 若谓词字母联系着一个客体，则称作一元谓词；若谓 词字母联系着二个客体，则称作
5、二元谓词；若谓词字母联系着n个客体，则称作n元谓词。一元谓词表达客体的性质，多元谓词表达客体间关系。,2. 客体的次序必须是有规定的。例：河南省北接河北省。n L b 写成二元谓词为：L(n,b)，但不能写成L(b,n) 。,1 谓词的概念与表示法,12,1 谓词的概念与表示法,3. 单独一个谓词，不是完整的命题。把谓词字母后填以客体所得的式子称为谓词填式。如H(a，b) 4. 谓词中通常只写客体变元，因此不是命题，仅当所有客体变元做出具体指定时，谓词才成为命题，才有真值。,13,第二章 谓词逻辑,1 谓词的概念与表示法 2 命题函数与量词 3 谓词公式与翻译 4 变元的约束 5 谓词演算的等
6、价式与蕴含式 6 前束范式 7 谓词演算的推理理论,14,2 命题函数与量词,1. 命题函数客体在谓词表达式中可以是任意的名词。 例：C“总是要死的。”j：张三；t：老虎；e：桌子。则C(j), C(t), C(e)均表达了命题。 在上面的例子中，C：表示“总是要死的”；x：表示变元（客体变元），则C(x)表示“x总是要死的”，则称C(x)为命题函数。,15,2 命题函数与量词,定义1: 由一个谓词和一些客体变元组成的表达式，称为简单命题函数。n元谓词，就是有n个客体变元的命题函数。定义2: 由一个或n个简单命题函数以及逻辑联结词组成的表达式，称为复合命题函数。（谓词表达式）,16,2 命题函
7、数与量词,例：S(x)： x学习很好。W(x)： x工作很好。 谓词表达式： S(x)： x学习不是很好。S(x) W(x)： x的学习和工作都很好。S(x) W(x)：若x学习很好，则x的工作很好。,17,2 命题函数与量词,讨论： （a）当简单命题函数仅有一个客体变元时，称为一元简单命题函数； （b）若用任何客体去取代客体变元之后，则命题函数就变为命题； （c）命题函数中客体变元的取值范围对是否成为命题及命题的真值有影响。,18,2 命题函数与量词,例：Q(x，y)：x比y重。当x，y指人或物时，是一个命题。当x，y指实数时，不是一个命题。 例：R(x)：x是大学生。,个体域：在命题函数中
8、，客体变元的取值范围（讨论范围）叫个体域或论述域。 全总个体域：把各种个体域综合在一起作为论述范围的域。,19,2 命题函数与量词,例：P(x)表示x是质数。这是一个命题函数。其值取决于个体域。将命题函数转化为命题，有两种方法：(1) 将x取定一个值。如：P(4)，P(5)(2) 将谓词量化。如：(x)P(x)，(x)P(x),个体域的给定形式有二种： (1)具体给定。如：j, e, t (2)全总个体域/任意域：所有的个体从该域中取得。,20,2.量词 （1）全称量词 符号： 读作：“所有的”，“任一个”，“对一切”，“每一个”。 例：“所有的都是苹果”可写成： xA(x) 或 (x)A(x
9、),2 命题函数与量词,21,2 命题函数与量词,几种形式的读法： (x)P(x)： “对所有的x，x是”； (x)P(x)： “对所有x，x不是”； (x)P(x)： “并不是对所有的x，x是”； (x) P(x)：“并不是所有的x，x不是”。,22,2 命题函数与量词,例：所有的人都是要呼吸的。设M(x)：x是人。H(x)：x要呼吸。(x) (M(x) H(x),例：每个学生都要参加考试。设P(x)：x是学生。Q(x)：x要参加考试。(x) (P(x) Q(x),例：任何整数或是正的或是负的。设I(x)：x是整数。R(x)：x是正数。 N(x)：x是负数。(x) ( I(x) R(x) N
10、(x) ),23,例：将“对于所有的x和任何的y，如果x高于y，那么y不高于x”写成命题表达形式。,2 命题函数与量词,解： G(x，y)：x高于y(x) (y) (G(x，y) G(y，x),24,2 命题函数与量词,（2）存在量词符号： 读作：“存在一个”，“对于一些”，“对于某些”， “至少存在一个”，“这里存在着这样的”等等。几种形式的读法：(x) A(x) ：存在一个x，使x是；(x)A(x) ：存在一个x,，使x不是；(x) A(x) ：不存在一个x,，使x是；(x)A(x) ：不存在一个x， 使x不是。,25,例：存在一个人。设M(x)：x是人；(x) M(x),例：某个人很聪明
11、。设C(x)：x是很聪明；(x) (M(x) C(x),例：某些实数是有理数。设R1(x)：x是实数 R2(x)：x是有理数。 (x)(R1(x) R2(x),2 命题函数与量词,26,2 命题函数与量词,（3）存在唯一量词符号： ！表示：“恰有一个”，“存在唯一一个”等。,27,2 命题函数与量词,注意： （1）论述域不同，由量词确定的表达式也不同。 （2）在命题函数中，个体域可以限定，也可不限定。不限定即使用全总个体域。 （3）采用全总个体域时，谓词表达式中用特性谓词来限定客体变元的取值范围。,特性谓词：在全总个体域中，将每个客体变元的变化范围加以限制的谓词。,28,2 命题函数与量词,例
12、：所有的人都是会死的。设M(x)：x是人。S(x)：x是会死的。个体域约定为人类：(x) (S(x)全总个体域： (x) ( M(x) S(x) ),例：有一些人是不怕死的。设M(x)：x是人。F(x)：x是不怕死的。个体域约定为人类：(x) (F(x)全总个体域： (x) ( M(x) F(x) ),用法：对全称量词，特性谓词作前件；对存在量词，特性谓词作合取项。,29,第二章 谓词逻辑,1 谓词的概念与表示法 2 命题函数与量词 3 谓词公式与翻译 4 变元的约束 5 谓词演算的等价式与蕴含式 6 前束范式 7 谓词演算的推理理论,30,1.谓词公式 原子谓词公式：不出现命题联结词和量词的
13、谓词表达式称为原子谓词公式，并用P(x1xn)来表示。其中：P称为n元谓词， x1xn称为客体变元，当n=0时称为零元谓词公式。,3 谓词公式与翻译,31,3 谓词公式与翻译,定义2-3.1：（谓词公式的归纳法定义） （1）原子谓词公式是谓词公式； （2）若A是谓词公式，则A也是谓词公式； （3）若A, B都是谓词公式，则(AB), (AB), (A B), (AB)都是谓词公式；（4）若A是谓词公式，x是任何变元，则(x)A, (x)A也都是谓词公式； （5）只有按-所求得的那些公式才是谓词公式（谓词公式又简称“公式”）。,32,3 谓词公式与翻译,例1：并非每个实数都是有理数。设R(x)：
14、x是实数。 Q(x) ：x是有理数。符号化： (x) (R(x) Q(x) )或：(x) (R(x) Q(x) )例2：没有不犯错误的人。设M(x)：x是人。 F(x) ：x犯错。描述：只要是人，必然犯错。 (x) (M(x) F(x) )或：存在不犯错误的人是不可能的。 (x) (M(x) F(x) ),33,3 谓词公式与翻译,例3：尽管有人聪明，但未必一切人都聪明。设M(x)：x是人。 P(x) ：x聪明。(x) (M(x) P(x) ) (x) (M(x) P(x) )例4：某些人对某些食物过敏。设F(x,y)：x对y过敏。M(x)：x是人。 G(y)：y是食物。(x) (y) (M(
15、x) G(y) F(x,y),34,3 谓词公式与翻译,例5：凡是实数不是大于0，就是等于0或者小于0。设R(x)：x是实数。 P(x,0)：x大于0。 Q(x,0)：x等于0。 S(x,0)：x小于0。(x) (R(x) ( P(x,0) Q(x,0) S(x,0) ) ) 例6：发光的不都是金子。设L(x)：x是发光的。 G(x) ：x是金子。(x) (L(x) G(x) )或 (x) (L(x) G(x) ),35,例7：试将苏格拉底论证符号化：“所有的人总是要死的。因为苏格拉底是人，所以苏格拉底是要死的。”解：设M(x)：x是人；D(x)：x是要死的；s：苏格拉底 写成符号形式： (x
16、) (M(x) D(x)， M(s) D(s),3 谓词公式与翻译,36,3 谓词公式与翻译,例8：用谓词公式写出下式。任给小正数，则存在一个正数，使得当 0|x-a| 时有|f(x)-b| 。此时即称lim f (x)=b。 解：设P(x,y)：x大于yQ(x,y)：x小于ylim f (x)=b 可表示为： () () (x) ( ( ( P(,0) P(,0) ) Q(|x-a|, ) P(|x-a|,0) ) Q(|f(x)-b|, ) ),xa,37,3 谓词公式与翻译,2.由于对个体描述性质的刻划深度不同，可翻译成不同形式的谓词公式。例：这只大红书柜摆满了那些古书。 法1：设F(x
17、,y)：x摆满了y。 R(x)：x是大红书柜。Q(y)：y是古书。 a：这只 b：那些R(a) Q(b) F(a,b),法2： A(x): x是书柜。B(x)：x是大的。 C(x)：x是红的。D(y)：y是古老的。 E(y)：y是图书。F(x,y)：x摆满了y。 a：这只 b：那些A(a) B(a) C(a) D(b) E(b) F(a,b),38,第二章 谓词逻辑,1 谓词的概念与表示法 2 命题函数与量词 3 谓词公式与翻译 4 变元的约束 5 谓词演算的等价式与蕴含式 6 前束范式 7 谓词演算的推理理论,39,一、概念 1.指导变元：给定x为一个谓词公式，其中一部分公式形式为(x)P(
18、x)或(x)P(x)，这里的，后面所跟的x称为相应的量词的指导变元。 2. 辖域：P(x)称为相应量词的作用域或辖域。（紧接在量词后面括号内的谓词公式。）例： (x) P(x) , (x) (P(x) Q(x) ) 若量词后括号内为原子谓词公式，则括号可以省去。,4 变元的约束,40,4 变元的约束,3. 约束变元：在量词的辖域内，且与量词下标相同的变元。（在作用域中的x）4. 自由变元：除去约束变元以外所出现的变元称作自由变元。（不受量词的约束的变元）。,41,4 变元的约束,例：指出下式作用域及约束变元、自由变元的情况。 1） (x) ( P(x) Q(x) ) 2） (x) ( P(x)
19、 (y) R(x,y) )3） (x) (y) ( P(x,y)Q(y,z) )(x) P(x,y) 4） (x) ( P(x) (x)Q(x,z) (y)R(x,y) ) Q(x,y),x是约束变元,x, y都是约束变元,x, y是约束变元，z是自由变元,x是约束变元y是自由变元,x, y是约束变元，z是自由变元,x, y都是自由变元,42,4 变元的约束,说明：P(x1,x2,xn)是n元谓词，有n个相互独立的自由变元，若对其k个变元进行约束，则成为n-k元谓词。 例： (x) P(x,y,z) 二元谓词(y)(x) P(x,y,z)是一元谓词,区别是命题还是命题函数的方法 （a）若在谓词
20、公式中出现有自由变元，则该公式为命题函数； （b）若在谓词公式中的变元均为约束出现，即无自由变元，则该公式为命题。,43,二、约束变元的换名 认为(x) P(x,y)和(z) P(z,y)是等价的谓词公式。任何谓词公式对约束变元可以换名。 换名规则： （a）换名的范围：量词中的指导变元以及该量词作用域中所出现的该变元；（指导变元及其约束的变元） （b）换名时要改为作用域中没有出现的变元名称。,4 变元的约束,44,例：对 (x) (P(x) R(x,y) Q(x,y) 换名解： (z) (P(z) R(x,y) Q(x,y)(z) (P(z) R(z,y) Q(x,y)(y) (P(y) R(
21、y,y) Q(x,y),例： 对(x) P(x) (y) R(x,y)换名解：换名为 (x)P(x) (z)R(x,z)(x)P(x) (x)R(x,x)因为 (x)R(x,x)中前面的x原为自由变元，现在变为约束变元了。,4 变元的约束,45,4 变元的约束,三、自由变元的代入对公式中的自由变元的更改叫做代入。 规则： (a)对公式中出现该自由变元的每一处进行代入。(b)用以代入的变元与原公式中所有变元的名称不能相同。,46,4 变元的约束,例：对(x) (P(y) R(x,y)代入。 解： (x) (P(z) R(x,z) 例： 对(x) P(x) (y) R(x,y)代入。 解： (x)
22、 P(x) (y) R(z,y),47,4 变元的约束,四、量化命题的真值 （1）当个体域的元素有限时，客体变元的所有可能的取代是可枚举的。设给定个体域：a1 ， a2 an则: (x)P(x) P(a1) P(a2) P(an) (x)Q(x) Q(a1)Q(a2) Q(an),48,4 变元的约束,例：若论域集合是a,b,c，试消去公式中的量词。 a) (x)P(x) P(a) P(b) P(c) b) (x) (P(x) Q(x) ) (P(a) Q(a) (P(b) Q(b) (P(c) Q(c) c) (x)R(x) (x) S(x) (R(a) R(b) R(c) (S(a) S(
23、b) S(c),例：个体域0，1(x) (y) F(x,y) (x) ( F(x,0) F(x,1) ) (F(0,0) F(0,1) ) (F(1,0) F(1,1) ),49,例：设个体域为: 白猫，黄猫，令C(x)：x是猫（特性谓词）。A(x)：x是动物。 B(x)：x是黑色的。 （a） 描述命题：“所有的猫都是动物。”符号化： (x)(C(x) A(x)（T）（真命题） (x)(C(x) A(x)T T T TT 若写成：(x)(C(x) A(x) （F）(x)(C(x) A(x) T T F FF,4 变元的约束,50,4 变元的约束,（b）描述命题：“一些猫是黑色的” 。(x)(C
24、(x) B(x) F F F F F而 (x)(C(x) B(x) F F T TT,51,(2)量词对变元的约束，往往与量词的次序有关。约定： 多个量词时的读出顺序为从左到右，不能颠倒。,例：(y)(x) (x(y-2) )：对于任何y均存在x，使得xy-2。(y)(x)(x(y-2) )：对于某些y存在x，使得xy-2。,4 变元的约束,52,第二章 谓词逻辑,1 谓词的概念与表示法 2 命题函数与量词 3 谓词公式与翻译 4 变元的约束 5 谓词演算的等价式与蕴含式 6 前束范式 7 谓词演算的推理理论,53,5 谓词演算的等价式与蕴含式,一、概念 赋值：在谓词公式中，当客体变元由确定的
25、客体所取代，命题变元用确定的命题所取代时，就称对谓词公式赋值。,定义1：给定两个谓词公式wff A和wff B，E为它们共同个体域，若对A和B的任一组变元进行赋值，使得A和B的值相同，则称谓词公式A和B在E上是互为等价的，记为AB或,54,定义2：给定任意wff A，E是A的个体域。若给A中客体变元指派E中的每一个客体, wff A值均为真，则称A在E中是 有效的（永真的）。,定义3：一个wff A，若在所有赋值下均为“F”，则称该wff A 为不可满足的。,定义4：给定wff A，E是A的个体域。若至少一种赋值下为真，则称A是可满足的。,5 谓词演算的等价式与蕴含式,55,5 谓词演算的等价
26、式与蕴含式,二、谓词演算的一些等价式与蕴含式 1. 命题公式的推广谓词演算中的公式代替命题演算中的永真公式的变元时，所得的谓词公式即为永真式。在第一章中永真蕴含式和等价公式均可变成谓词演算中的永真式。,56,命题逻辑 谓词逻辑 PP P(x)P(x)PPP P(x)P(x)P(x) PQ Q P P(x)Q(x) Q(x) P(x) PPQ P(x)P(x)Q(x) P Q P P(x) Q(x) P(x)H H F H(x,y) H(x,y) F ,5 谓词演算的等价式与蕴含式,57,5 谓词演算的等价式与蕴含式,(x) (P(x) Q(x) (x) ( P(x) Q(x) (x) H(x,
27、y) (x) H(x,y) F(x) P(x)(y) R(x,y) ( (x) P(x) (y) R(x,y) ),58,5 谓词演算的等价式与蕴含式,2. 量词转换律（量词与之间的关系） 例： P(x)：x来了。“不是所有的人今天都来”(x)P(x),“有一些人今天没来”, (x)P(x),例：“并非有人今天来”(x)P(x),“所有的人今天都没来”, (x)P(x),结论：出现在量词之前的否定，不是否定该量词，而是否定被量化了的整个命题。,59,5 谓词演算的等价式与蕴含式,证明：设个体域为： S=a1,a2,an (x) P(x) (P(a1) P(a2) P(an)P(a1) P(a2
28、) P(an)(x) P(x),60,量化命题和非量化命题的差别:否定形式不同 例： 否定下列命题：(a)上海是一个小城镇 A(s)(b)每一个自然数都是偶数 (x)(N(x) E(x) 二命题的否定为： (a)上海不是一个小城镇 A(s)(b)有一些自然数不是偶数 (x)(N(x) E(x)(x)(N(x) E(x)(x)( N(x) E(x) (x) (N(x) E(x),5 谓词演算的等价式与蕴含式,61,3. 量词辖域的扩张及其收缩律 第1组 (x)A(x) B (x) (A(x) B)(x)A(x) B (x) (A(x) B)(x)A(x) B (x) (A(x) B)(x)A(x
29、) B (x) (A(x) B) B为不含有变元的任何谓词公式,5 谓词演算的等价式与蕴含式,62,证明 (x)A(x) B (x) (A(x) B) 证明：设个体域为 S=a1,a2,an (x)A(x) B (A(a1) A(a2) A(an) B (A(a1) B) (A(a2) B) (A(an) B ) (x) (A(x) B),5 谓词演算的等价式与蕴含式,63,5 谓词演算的等价式与蕴含式,第2组 (x) A(x) B (x) (A(x) B) (x) A(x) B (x ) (A(x) B) A (x) B(x) (x) (A B (x) A (x) B(x) (x) (A B
30、 (x),64,5 谓词演算的等价式与蕴含式,证明 (x) A(x) B (x) (A(x) B)A (x) B(x) (x) (A B (x),A (x) B(x)A (x) B(x) (x) (A B(x) (x) (A B(x),证明： (x) A(x) B (x) A(x) B (x) A(x) B (x) ( A(x) B) (x) (A(x) B),65,5 谓词演算的等价式与蕴含式,4. 量词与命题联结词之间的一些等价式 例： “所有的人既上学又工作。”A(x)：x上学； B(x)：x工作。(x) (A(x) B(x) ), “所有的人都上学并且所有的人都工作。”, (x) A(
31、x) (x) B(x),66,证明(x) (A(x) B(x) (x)A(x) (x)B(x) 证明：设个体域为 S=a1,a2,an(x) (A(x) B(x)(A(a1) B(a1) . (A(an) B(an)(A(a1) A(an) (B(a1) B(an) (x)A(x) (x)B(x),5 谓词演算的等价式与蕴含式,67,5 谓词演算的等价式与蕴含式,例：“有一些人或到科室或到车间工作。”A(x)：x到车间工作； B(x)：x到科室工作。(x) (A(x) B(x) ),“或者一些人到科室或者一些人到车间工作。”, (x) A(x) (x) B(x),68,5 谓词演算的等价式与蕴
32、含式,5. 量词与命题联结词之间的一些蕴含式 例：“这些学生都聪明或这些学生都努力。”A(x)：x聪明。 B(x)：x努力。(x)A(x) (x)B(x), “这些学生都聪明或努力。”, (x) (A(x) B(x),69,5 谓词演算的等价式与蕴含式, (x)A(x) (x)B(x) (x) (A(x) B(x) (x)A(x) (x)B(x) (x) (A(x) B(x)(x)A(x) (x)B(x) (x) (A(x) B(x)( (x)A(x) (x)B(x) ) (x)(A(x) B(x)(x)( A(x) B(x) ) (x)A(x) (x)B(x),类似的：(x) (A(x) B
33、(x) (x) A(x) (x) B(x)(x) (A(x) B(x) (x) A(x) (x) B(x),70,5 谓词演算的等价式与蕴含式,证明(x)A(x) (x)B(x) (x) (A(x) B(x) I19(x)A(x) (x)B(x) (x)A(x) (x)B(x) (x) A(x) (x)B(x) (x) (A(x) B(x) ) (x) (A(x) B(x),71,要记住的等价式和蕴含式,(x) (A(x)B(x) ) (x) A(x)(x) B(x) (x) (A(x)B(x) ) (x) A(x)(x) B(x) (x)A(x)(x)B(x) (x) (A(x) B(x)
34、(x)( A(x)B(x) ) (x)A(x) (x)B(x),72,6 .多个量词的使用 （a）量词出现的次序直接关系到命题的含义“xy”表示：“无论选定一个什么样的x值总能找到一个y能使x和y”“yx”表示：“只选取某个y值，以致无论怎样选定一个x，能够使y和x”,5 谓词演算的等价式与蕴含式,例：x,y的个体域鞋子，P(x,y):x和y配成一双鞋子。 (x)(y)P(x,y) T(y)(x)P(x,y) F,73,5 谓词演算的等价式与蕴含式,下面列出对应的表达式可以看出其不同处： 设x的个体域为 a1,a2,an, y的个体域为 b1,b2,bn ， 则：xyP(x,y) yP(a1,
35、y) yP(an,y) (P(a1, b1) P(a1, bn) (P(an, b1)P(an, bn)yxP(x,y) xP(x, b1) xP(x, bn) (P(a1, b1) P(an, b1) (P(a1, bn)P(an, bn),74,（b）在含有多个量词的谓词公式中,xy, xy的位置是可以改变的,且不影响命题的真值。 例：x,y的个体域为N=0,1,2，则 xyP(x,y) yP(0,y) yP(i,y) (P(0,0) P(0,1) P(0,j) ) (P(i,0) P(i,1) P(i,j) ) (P(0,0) P(1,0) P(i,0) ) (P(0,1) P(1,1)
36、 P(i,1) ) xP(x,0) xP(x,1) xP(x,j) yxP(x,y) 同样： xyP(x,y) yxP(x,y),5 谓词演算的等价式与蕴含式,75,（c）量词转换律的推广应用:把深入到谓词公式前面去的方法。xyzP(x,y,z) x yzP(x,y,z) xyzP(x,y,z) xyzP(x,y,z),5 谓词演算的等价式与蕴含式,76,5 谓词演算的等价式与蕴含式,（d）两个量词, 所组成的谓词公式的等价式和永真蕴含式（8个）(x)(y)P(x,y) (y)(x)P(x,y) (x)(y)P(x,y) (y)(x)P(x,y)(x)(y)P(x,y) (y)(x)P(x,y
37、)(y)(x)P(x,y) (x)(y)P(x,y)(y)(x)P(x,y) (x)(y)P(x,y) (x)(y)P(x,y) (y)(x)P(x,y) (x)(y)P(x,y) (y)(x)P(x,y) (y)(x)P(x,y) (x)(y)P(x,y),77,7 谓词公式的对偶式 定义： 在一个谓词公式A中（其中不出现,词）把公式A中 , , F, T, , , 变为公式A*中 , , T, F, , , 则称A*是A的对偶式。,5 谓词演算的等价式与蕴含式,定理： 若谓词公式A B，则A* B* ； 若谓词公式A B ，则B* A* （ A,B有同样的个体域）,例：I17 (x)A(x
38、)(x)B(x) (x)(A(x)B(x)I18 (x)A(x) (x)B(x) (x)(A(x) B(x),78,第二章 谓词逻辑,1 谓词的概念与表示法 2 命题函数与量词 3 谓词公式与翻译 4 变元的约束 5 谓词演算的等价式与蕴含式 6 前束范式 7 谓词演算的推理理论,79,6 前束范式,一、前束范式 1. 定义一个公式，如果量词均非否定地在全式的开头，它们的作用域延伸到整个公式的末尾，则称此公式叫前束范式。形式：(v1) (v2)(vn) A 其中：是量词或vi（i=1，2，3，n）是客体变元A是无量词的谓词公式例：xyz( Q(x,y) R(z) (前束范式),80,6 前束范
39、式,2. 定理任何一个谓词公式均和一个前束范式等价。 证明：利用量词转换把深入到原子谓词公式前。利用约束变元的改名规则。利用量词辖域的扩张收缩律,把量词移到全式的最前面，这样一定可得到等价的前束范式。,81,6 前束范式,3化前束范式的步骤（1）否定深入（量词转化式）（2）量词前提（必要时需换名）例1：把下式转化为前束范式。(x)P(x) R(x) (y)P(y) R(x) (y)(P(y) R(x),82,6 前束范式,例2：把(x)P(x) (x)Q(x) 变成前束范式。解： (x)P(x) (x) Q(x) (x)P(x) (x)Q(x) (x)P(x) (x)Q(x) (x)(P(x)
40、 Q(x),83,6 前束范式,例3：把(x)(y)(z)(P(x,z)P(y,z)(u)Q(x,y,u)变成前束范式。 解：原式 (x)(y)(z)(P(x,z)P(y,z) (u)Q(x,y,u) (x)(y)(z) (P(x,z)P(y,z)(u)Q(x,y,u) (x)(y)(z) (u)(P(x,z) P(y,z) Q(x,y,u),84,6 前束范式,例4：(x)(y)A(x,y)(x)(y)B(x,y)(y)(A(y,x)B(x,y) (x)(y)A(x,y) (x)(y) B(x,y) (y)(A(y,x)B(x,y) ) (x)(y)A(x,y) (x)(y) B(x,y)
41、(y)(A(y,x)B(x,y) ) (x)(y)A(x,y) (x)(y)B(x,y) (y)(A(y,x)B(x,y) ) (x) (y)A(x,y) (u)(v)B(u,v) (w)(A(w,u)B(u,w) ) (x)(y)(u)(v)(w) A(x,y) B(u,v) (A(w,u)B(u,w) ) ,85,6 前束范式,例5：写出(x)(F(x)G(x)(x)F(x)(x)G(x)的前束范式。 解:原式(x)(F(x)G(x)(x)F(x)(x)G(x)(x)(F(x)G(x)(x)F(x)(x)G(x) (x)(F(x) G(x) (x)F(x) (x) G(x)(x)(F(x)
42、 G(x) (x) G(x) (x)F(x)(x)(F(x) G(x) G(x) (x)F(x) (x)(F(x) G(x) (x)F(x) (x)(F(x) G(x) (y)F(y) (x)(y)(F(x) G(x) F(y),86,6 前束范式,二 前束合取范式1. 定义一个谓词公式若具有如下形式称为前束合取范式。(v1)(v2)(vn) (A11 A12 A1n) (A21 A22 A2n) (Am1 Am2 Amn) 其中：是量词或；vi（i=1，2，3，n）是客体变元；Aij是原子公式或其否定。,87,6 前束范式,2. 定理每一个谓词公式都可以转化为与其等价的前束合取范式。 3化前
43、束合取范式的步骤（1）消多余量词（2）换名（3）消去条件联结词（4） 将深入（5） 将量词提出,88,6 前束范式,例：将D=(x) (y)P(x) (z)Q(z,y)(y)R(x,y) 转化为与其等价的前束合取范式。 解：D (x) P(x) (z)Q(z,y)(y)R(x,y)(x) P(x) (z)Q(z,y)(w)R(x,w)(x) (P(x) (z)Q(z,y) (w)R(x,w)(x)(P(x) (z)Q(z,y) (w)R(x,w)(x)(z)(w)(P(x) Q(z,y) R(x,w)(x)(z)(w)(P(x) R(x,w) (Q(z,y) R(x,w),89,6 前束范式,三、前束析取范式 定义：一个谓词公式具有如下形式称为前束析取范式。(v1)(v2 ) (vn ) (A11 A12 A1n ) (A21 22 A2n) (Am1 Am2 Amn) 其中：是量词或，vi（i=1，2，3，n）是客体变元，Aij是原子公式或其否定。,
