第六节 前束范式 在命题演算中有时需将命题公式化成和之等价的规范形式.pptVIP

* 第六节 前束范式 在命题演算中有时需将命题公式化成与之等价的规范形式, 在谓词演算中也需将谓词公式化成与之等价的规范形式。 定义6.1 一个谓词公式中, 如果量词都在公式的开头, 而它们的作用域延伸至整个公式的末尾, 则称该公式为前束范式。 前束范式的一般形式是:(?v1) (?v2)… (?vn)A, 其中?是量词?或?; vi是个体变元, A是没有量词的谓词公式。例如, (?x)(?y)(?z)(Q(x, y)?R(z)),  (?y)(?x)(?P(x, y)?Q(y))都是前束范式。 定理6.1 任意一个谓词公式都与一个前束范式等价。证明: 首先利用量词的转化公式, 把否定联结词移  到命题变元及谓词填式的前面, 再利用等价式: (?x)(A?B(x))?A?(?x)B(x), 及 (?x)(A?B(x))?A?(?x)B(x)把量词移到公式最前 面, 这样就得到前束范式。 例1. 将公式(?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)?Q(x))# 例2. 将公式(?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)}#  (应是y, 书中p.73倒数第七行是x，这是错误的) 例3. 将公式?(?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)?(?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)?(?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)?(?y)?(A(y, x)?B(x, y))]} ?(换名)(?x){(?y)A(x, y)?(?u)(?r)(?B(u, r)?(?z)?(A(z, u)?B(u, z))]} ?(?x)(?y)(?u)(?r)(?z){A(x, y) ?[?B(u, r)??(A(z, u)?B(u, z))]}# 定义6.2 一个谓词合式公式, 如果具有如下形式则称为前束合取范式.(?v1)(?v2)…(?vn)[(A11?A12?...?A1r1)?(A21?A22?...?A2r2)?…?(Am1?Am2?...?Amrm)],其中?是量词?或?; vi是个体变元, Aij是原子公式或其否定。例如,(?x)(?z)(?y){[?P?(x?a)?(z=b)]?[Q(y)?(a=b)]}是前束合取范式。 定理6.2 每一个谓词公式都可以化为与之等价的一个前束合取范式(证明比较显然的, 学生思考)。 例4. 将公式(?x)[(?y)P(x)?(?z)Q(z, y) ??(?y)R(x, y)]化为前束合取范式。解: 记原式为D, (1