第3章确定性推理-2-Final教程.pptx

若两个WFF U及V在任一解释下其值完全相同，则称这两个WFF等价，表示为 U?V。 由于谓词逻辑是命题逻辑的推广，命题逻辑中的基本等价式和推理规则在谓词逻辑仍可沿用。但由于谓词逻辑中引入了变量及量词，须再增加一些与变量、量词有关的一些定理和规则，现一并归纳如下:;（1）双重否定律(double negation law): ～(～P(x)) ≡P(x) （2）德·摩根定律(Mogen law): ～(P(x))∨Q(x))≡ ～P(x)∧～Q(x) ～(P(x))∧Q(x)) ≡ ～P(x)∨～Q(x) （3）逆否律(inverse-negation law): P(x) Q(x) ≡～Q(x) ～P(x) （4）分配律(assignment law): P(x)∧ (Q(x) ∨ R(x)) ≡ (P(x) ∧ Q(x)) ∨ (P(x) ∧R(x)) P(x)∨ (Q(x) ∧ R(x)) ≡ (P(x) ∨ Q(x)) ∧ (P(x) ∨R(x));（5）结合律(association law): （P(x)∧ Q(x))∧R(x) ≡ P(x) ∧(Q(x)∧R(x)) （P(x)∨ Q(x))∨R(x) ≡ P(x) ∨(Q(x)∨R(x)) （6）蕴含等价式(implication law): P(x) → Q(x) ≡～P(x) ∨Q(x) （7）易名规则(rename law): ?x P(x) ∨ ?x Q(x) ≡?x P(x) ∨?y Q(y) （8）量词转换律(quantifier transform law): ～ ? x P(x) ≡ ? x ～P(x) ～ ? x P(x) ≡ ? x ～P(x);（9）量词分配律(quantifier assignment law): ? x (P(x)∨Q(x)) ≡ ? x P(x) ∨ ? x Q(x) ? x (P(x)∧Q(x)) ≡ ? x P(x) ∧ ? x Q(x) ? x (P → Q(x)) ≡P → ? x Q(x) ? x (P → Q(x)) ≡P → ? x Q(x) （10）量词交换律(quantifier commutative law): ? x ? y(P(x, y)) ≡ ? y ? x(P(x, y)) ? x ? y(P(x, y) )≡ ? y ? x(P(x, y)) ? x ? y(P(x, y) )? ? y ? x (P(x, y)) ? x ? y (P(x, y) )? ? y ? x (P(x, y));（11）量词辖域变换等价式: ? xP(x)∨Q≡ ? x(P(x)∨Q) ? xP(x)∧Q≡ ? x(P(x)∨Q) ? xP(x)∧Q≡ ? x(P(x)∨Q) ? xP(x)∧Q≡ ? x(P(x)∨Q) 注：Q中不含变量;3.1.4 谓词演算的等价式与永真蕴含式Basic equivalence formula and inference rule;3.1.4 置换与合一;3.1.4 置换与合一;3.1.5 谓词逻辑中的范式Normal form of predicate logic;定义3.1 文字(literal)：是原子或原子之非。 定义3.2 合取范式(conjunctive normal form)：当且仅当G有形式G1∧…∧Gn (n=1)其中每个Gi都是文字的析取式。 定义3.3 析取范式(disjunctive normal form)：当且仅当G有形式G1∨…∨Gn(n=1)其中每个Gi都是文字的合取式。 在命题逻辑中，若P、Q、R是原子，则 P、Q、R、～P、～Q、～R都是文字。 是合取范式。 是析取范式。;定理3.1 对任意公式，都有与之等值的合取范式和析取范式。 可按下述步骤使用上一节中的等价式将一个公式化为合取范式或析取范式。 (1) 使用等价式中的连接词化简规律消去公式中的连接词 。 (2) 反复使用双重否定律和德·摩根律将“～”移到原子之前。 (3) 反复使用分配律和其他定律得出一个标准型。 在一阶逻辑中，为了简化定理证明程序需要引入所谓的“前束标准型”。;定义3.4 前束范式(prenex normal form)： 设F为一谓词公式，如果其中的所有量词均非否定地出现在公式的最前面，而它们的辖域为整个公式，则称F为前束范式(prenex normal form)。一般地，前束范