第5章基子谓阁逻桥的机器推理 表5.1常用逻辑等价式 E Y7A台A 双重否定律 E: AΛA台A 等幂律 E; AVA台A E A∧B台BAA 交换律 Es AVB台BVA E (AAB)AC台AA(BAC) 结合律 E (AVB)VC台AV(BVC) Es AA(BVC)台(AAB)V(AAC) 分配律 E。AV(BAC)台(AVB)A(AVC) E10 AA(AVB)台A 吸收律 E AV(AAB)台A
第5章 基于谓词逻辑的机器推理 表5.1 常用逻辑等价式
第5章基子谓祠辽桥的机器推理 E1,7(AAB)台AVB 摩根定律 E13 7(AVB)台7AAB E1 A-BAVB 蕴含表达式 E15 A+B→(A+B)A(B-→A) 等价表达式 E16 AAT台A E17 AAF台F E18 AVT台T E19 AVF台A E20 AA7A台F 矛盾律 E21 AV-AT 排中律 E22 A→(B+C)台AAB*C 输出律
第5章 基于谓词逻辑的机器推理
第5章基子谓祠辽桥的机器推理 E2a (A→B)八（A+7B)台A 归谬律 E24 A→B9?B-◆7A 逆反律 E2s VxA台A A中不含约束变元x E2s 3xA台A A中不含约束变元x E27 Vx(A(z)AB(x))YA(x)AYxB(x) 量词分配律 E23 3x(A(x)VB(x))3xA(x)V 3xB(x) E29 7VxA(x)台3x7A(x) 量词转换律 Ego ]xA(x)台VxA(x) E91 HxA(x)八P台Yx(A(x)AP) 量词辖域扩张及收缩律 E3z VxA(x)VP台Vx(A(x)VP)
第5章 基于谓词逻辑的机器推理
第5章基子谓阁逻桥的机器推理 Ess 3xA(x)AP台3x(A(x)AP) Ea 3A(x)VPe3x(A(x)VP) (P为不含约束变元x的调词公式) E35 VxVyP(a,y)HYyYxP(x,y) E36 3x3yP(a,y)3y3xP(a,y) E37 VxA(x)→P台3x(A(x)P) E38 3xA(x)+P台Yx(A(x)→P) E30 P→VxA(x)台Vx(P+A(x)) E4的 P→3xA(x)台3x(P→A(x)) (P为不含约束变元x的谓词公式)
第5章 基于谓词逻辑的机器推理
第5章基子谓祠辽桥的机器推理 表5.2常用逻辑蕴含式 I A→AVB 附加律 I2 A∧B→A,AAB→B 简化律 I3 (A→B)ΛA→B 假言推理（分离规则） I (A→B)AB→7A 拒取式 Ig (AVB)AA→B 析取三段论 Io (A→B)A(B+C)→A→+C 假言三段论 I7. A+B→(B→C)→（A+C) 18 (A→B)∧(C+D)→AAC→B八D Io (AB)∧(B4+C)→A*+C I10 A,B→AAB 合取式 In VxA(x)→A(y) y是个体域中任一确定元素
第5章 基于谓词逻辑的机器推理 表5.2 常用逻辑蕴含式