课程讲义第06章-程序设计语言原理.ppt

第六章 逻辑式程序设计语言;6.1谓词演算;(1)公式 由一组约定的符号组成的序列，它包括常量、变量、逻辑连接、命题函数、谓词、量词 (2)常量 指明论域上的对象 (3)变量 可束定到特定域上某个范围的对象上 (4)函数 表征对象具有的映射关系 (5)谓词 表征对象某种性质的符号 (6)量词 量词限定的变量名作用域是整个公式 (7) 逻辑操作 and， or， not， →(蕴含) ＝(全等) 当谓词应用到的变元是常量或已被束定的变量上时，就叫做句子(sentence)或命题(proposition);谓词变元的个数称作目(arity)，有单目、N目谓词之称 N-目谓词的例子。 谓词 目 含义 odd(X) 1 X是奇数 father(F，S) 2 F是S的父亲 divide(N，D，Q，R) 4 N除D得商Q和余数R 谓词例化 结果值 odd(2) False divide (23， 7， 3，2) Ture father (changshan， changping) True divide (23， 7， 3， N) N未例化， 不知真假;谓词的量化 量化谓词 结果值 ?Xodd(X) False ?Xodd(X) True ?X(X=2*Y+1→odd (X)) True ?X?Ydivide (X，3，Y，0) False ?X?Ydivide (X，3，Y，0) True， 如X =3，Y=1 ?X?Ydivide(X，3，Y，0) False， 但很难证明;证明一个全称谓词是比较难的，因为最可靠的证明方法是枚举例证。 于是采取反证的方法，全称量化的谓词取反 量化谓词 取反 ?Xodd(X) ?Xnot odd(X) [1] ?Xodd(X) ?Xnot odd(X) [2] ?X(X=2*Y+1→odd(X)) ?Xnot(X+2*Y+1→odd(X)) [3] ?Xnot(X=2*Y+1)or odd (X)) [4] ?X((X=2*Y+1)and not add(X)) [5] ?X?Y divide (X，3，Y，0) ?X?Y not divide (X，3，Y，0) [6] ?X?Y divide (X，3，Y，0) ?X?Y not divide (X，3，Y，0) [7] ?X?Y divide (X，3，Y，0) ?X?Y not divide (X，3，Y，0) [8];谓词演算的等价变换;[5]用分配率P∨(Q∧R)=(P∨Q)∧(P∨R)化成合取范式 ┠ (a(X)∨c(X，g(X)))∧(b(X)∨c(X，g(X))) 经过以上变换,任何一复合公式均可成为如下形式: F = C1∧C2 ∧…Cn 且其中Ci称为子句 若以;代∨则有: Ci = L1 ∨L2 ∨…Lv = L1;L2;…;Lv 因此，任一公式均可化为∨连接的子句的集合;6.2 自动定理证明;一个证明若有