命题逻辑的等值和推理演算.pptVIP

例1 证明R是P?Q, Q?R, P的逻辑推论 特点: 前提引入规则、分离规则 例2 证明R∨S可以由前提C∨D, (C∨D)??E, ?E?(A∧?B ), (A∧?B)?R∨S推演出来 特点: 基本推理公式(三段论) 例3 证明(P∨Q)∧(P?R)∧(Q?S) ? S∨R 特点: 置换规则 例4 证明(P?(Q?S))∧(?R∨P)∧Q ? R?S 特点: 条件证明规则(附加前提引入) 例5 证明 (?(P?Q)??(R∨S))∧((Q?P)∨?R)∧R ? (P?Q) 特点: 反证法、条件证明、结论引入 举例 2.10 归结推理法(证明推理公式A?B的新方法) 特点 定理机器证明方法 只有一条归结推理规则 易于机器实现 可推广到谓词逻辑推理 基本思想 证明A?B等价于证明A??B是矛盾式 用反证法, 即假设A??B在某种解释下为真, 最后导出矛盾, 得以证明 归结证明过程 从A??B出发建立子句集S 将A??B化为合取范式, 每个析取式均作为一个子句, 构成这些子句的集合, 记为S 对S作归结 即用归结推理规则消互补对, 将得到的新的归结式放入S中，重复此过程 直至归结出矛盾, 结束 即出现P与?P 归结推理规则 归结式定义 设R1=P∨Q1, R2=?P∨Q2为两个子句 有互补对P和?P 则新子句R(R1, R2)= Q1∨Q2称为R1, R2的归结式 推理