离散数学第二讲谓词逻辑.pptVIP

* * * * * 2.6 谓词公式范式 １.前束范式 定义2.6.1 一个合式公式称为前束范式，如果它有如下形式：(Q1x1)(Q2x2)…(Qkxk)B 其中Qi(1≤i≤k)为?或?，B为不含有量词的公式。称Q1x1Q2x2…Qkxk为公式的首标。 特别地，若Ａ中无量词，则Ａ也看作是前束范式。 例如， ?x?(F(x)?G(x)) ?x?y(F(x)?(G(y)?H(x,y))) 是前束范式 而 ??x(F(x)?G(x)) ?x(F(x)??y(G(y)?H(x,y))) 不是前束范式， * * 前束范式的特点是，所有量词均非否定地出现在公式最前面，且它的辖域一直延伸到公式之末。 例如，(?x)(?y)(P(x,y)?Q(y,z)), R(x,y)等都是前束范式，而(?x)P(x)?(?y)Q(y)，(?x)(P(x)?(?y)Q(x,y))不是前束范式。 定理2.6.1 (前束范式存在定理) Lp中任意公式A都有与之等价的前束范式。 * * 求前束范式的实例 例10 求下列公式的前束范式 (1) ??x(M(x)?F(x)) 解 ??x(M(x)?F(x)) ? ?x(?M(x)??F(x)) （量词否定等值式） ? ?x(M(x)??F