离散数学CH03_谓词逻辑解释.ppt

* * * 定理3.5.1 (前束范式存在定理) Lp中任一合式公式A都有与之等值的前束范式，但 前束范式不唯一。 3.5 谓词公式范式 3.5 谓词公式范式 设A是任一合式谓词公式，通过下述步骤可将其转化为与之等值的前束范式： （1）消去公式中包含的联结词“?”“?”； （2）反复运用德?摩根定律以及量词否定等值式，直接将“?”内移到原子谓词公式的前端； （3）使用谓词的等值公式将所有量词提到公式的最前端。 例：求?((?x)(?y)P(a,x,y)?(?x)(?(?y)Q(y,b)?R(x)))的前束范式。 解 （1）消去联结词“?”、“?”，得： ?(?(?x)(?y)P(a, x, y)?(?x)(??(?y)Q(y,b)?R(x))) （2）?内移，得： (?x)(?y)P(a, x, y)??(?x)((?y)Q(y, b)?R(x)) ? (?x)(?y)P(a, x, y)?(?x)((?y)?Q(y, b)??R(x)) （3）量词左移，得： (?x)((?y)P(a, x, y)?(?y)?Q(y, b)??R(x)) ? (?x)((?y)P(a, x, y)?(?z)?Q(z, b)??R(x)) ? (?x)(?y)(?z)(P(a, x, y)??Q(z, b)??R(x)) ? (?x)(?y)(?z)S(a, b, x, y,