第3章确定性推理-2-Final.pptxVIP

3.1.4 谓词演算的等价式与永真蕴含式Basic equivalence formula and inference rule若两个WFF U及V在任一解释下其值完全相同，则称这两个WFF等价，表示为 U?V。由于谓词逻辑是命题逻辑的推广，命题逻辑中的基本等价式和推理规则在谓词逻辑仍可沿用。但由于谓词逻辑中引入了变量及量词，须再增加一些与变量、量词有关的一些定理和规则，现一并归纳如下:3.1.4 谓词演算的等价式与永真蕴含式Basic equivalence formula and inference rule（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))3.1.4 谓词演算的基本等价式及推理规则Basic equivalence formula and inference rule（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)3.1.4 谓词演算的等价式与永真蕴含式Basic equivalence formula and inference rule（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))3.1.4 谓词演算的等价式与永真蕴含式Basic equivalence formula and inference rule（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（12）量词消去及引入规则 全称量词消去规则: ? x P(x)≡P(y) 全称量词引入规则: P(y)≡ ? x P(x) 存在量词消去规则: ? x Q(x)≡Q(c)(c 为常量) 存在量词引人规则: Q(c)≡ ? x Q(x) 有限域量词消去规则:设有限个体域为D ? d1，d2，……dn? x P(x)≡P(d1)∧P(d2)∧……∧P(dn)? x Q(x)≡Q(d1) ∨Q(d2)∨……∨Q(dn)3.1.4 置换与合一1. 置换定义：形如{t1/x1,t2/x2,…, tn/xn}的一个有限集，其中，xi是变量，ti是不同于xi的项（常亮、变量、函数），且xi！=xj（i!=j）空置换:置换乘：置换结合律成立，交换律不成立3.1.4 置换与合一2. 合一 定义：最一般合一置换（mgu）:定义3个例子谓词公式集的mgu不唯一mgu的求解算法：不一致集 例 E1：P（x, y, z）,E2: P(x, f(a), g(b))算法：【板书