《离散数学》第2章谓词逻辑.pptVIP

(4) 而且 (矛盾式) ， 所以原公式是矛盾式。 解： 原公式是命题公式 的代换实例， 内容： 一阶逻辑等值式，前束范式。 重点： 掌握基本等值式， (量词否定等值式，量词辖域收缩与扩张等值式， 量词分配等值式)的内容。 一般： 使用基本等值式进行等值演算。 了解： 前束范式的定义和求法。 第三节 谓词逻辑等值式 一、一阶逻辑等值式。 已有的等值式 命题公式中的24个等值式 及代换实例 由换名规则及代替规则所得 公式与原公式等值 定义： 若 为逻辑有效式，记 定理2．1 量词否定等值式。 (1) (2) 定理2．2 量词分配等值式。 (1) (2) 定理2．3 量词辖域收缩与扩张等值式。 (1) (2) (4) (3) (5) (6) (7) (8) 定理2．4 多个量词间的次序排列等值式。 (1) (2) 二、前束范式。 前束范式：形式 例如： ， 等都是前束范式， 而 等都不是前束范式。 任一合式公式都可表示为前束范式，其化归步骤如下： （1）消去公式中出现的多余量词； （2）将合式公式中出现的联结词都化为 （3）利用双重否定律，德·摩根律及量词否定等值式将合式公式中的否定字符深入到谓词字母前； （4）利用代替规则和换名规则，使所有约束变元均不相同，并且使自由变元与约束变元不同． （5）利