离散数学课件：2-4 前束范式.ppt

前束范式的概念 定理 任意一个谓词公式，均和一个前束范式等价. 任一谓词公式表示成前束范式的方法： 消去多余量词； 消去多余联结词：将公式中出现的联结词都化为 ?，?，?； (3)否定符紧贴：利用对合律、德 ? 摩根律及量词转化律将公式中的否定字符(?)深入到谓词字母前； (4)更名：利用换名和代入规则使所有约束变元均不相同，并且使自由变元也与约束变元不同； (5)扩域：利用量词作用域的扩张和收缩，扩大量词的作用域至整个公式. * * 四、前 束 范 式 （一）前束范式的概念 一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则该公式叫做前束范式. 其中?是量词?或?；vi (i=1, 2,…, n)是客体变元；A是没有量词的谓词公式. (?v1)(?v2)…(?vn)A 前束范式可记为下述形式： (1)(?x) (?y)(F(x) ? G(y) ?H(x, y)) (3)(?x) (?y) (?z)(F(x) ? G(y) ? H(z) ?L(x, y, z)) (2)(?x) (F(x) ? (?y)(G(y) ?H(x, y))) (4)(?x)(F(x)?(?y)(G(y) ? H(x, y))) 四、前束范式 例2.4.1判断下面公式哪些是前束范式. √ × √ × 四、前束范式 例2.4.2求下面公式的前束范式: ? (?x)F(x) ?(?x)?G(x) 解： ? (?x)(F(x)??G(x)) (1)(?x)F(x) ??(?x)G(x); (2)(?x)F(x) ? ?(?x)G(x); (1)(?x)F(x) ??(?x)G(x) 量词的分配 量词转化律 (3)(?x)F(x)? (?x)G(x); 四、前束范式 例2.4.3求下面公式的前束范式: ? (?x)F(x)?(?x)?G(x) 解： ? (?x)(F(x)??G(x)) (1)(?x)F(x) ??(?x)G(x); (2)(?x)F(x) ? ?(?x)G(x); (2)(?x)F(x)??(?x)G(x) 正确解法： (2)(?x)F(x)??(?x)G(x) ? (?x)F(x)?(?x)?G(x) ? (?x)F(x)?(?y)?G(y) ? (?x)(F(x)?(?y)?G(y)) ? (?x) (?y) (F(x)??G(y)) (3)(?x)F(x)? (?x)G(x); 四、前束范式 例2.4.3求下面公式的前束范式: 解： (1)(?x)F(x) ??(?x)G(x); (2)(?x)F(x) ? ?(?x)G(x); (3)(?x)F(x)? (?x)G(x) ??(?x)F(x)?(?x)G(x) ? (?x)?F(x)?(?x)G(x) ? (?x)?F(x)?(?y)G(y) ? (?x)(?F(x)?(?y)G(y)) (3)(?x)F(x)? (?x)G(x); ? (?x) (?y) (?F(x)? G(y)) 四、前束范式 四、前束范式