第二章命题逻辑的等值与推理演算.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的归结式 推理规则 R1?R2 ? R(R1, R2) 设在任一解释下, R1?R2=T, 则R1=T且R2=T 若P=T, 则?P=F, Q2=T, R(R1, R2)= Q1∨Q2=T 若P=F, 则?P=T, Q1=T, R(R1, R2)= Q1∨Q2=T 若Q1=T或者Q2=T, 都有R(R1, R2)= Q1∨Q2=T 举例 证明(P?Q)∧(Q?R) ? (P?R) 1. 将(P?Q)∧(Q?R) ∧ ?(P?R)化成合取范式 (?P∨Q)∧(?Q∨R) ∧P ∧ ?R 2. 建立子句集 S={?P∨Q, ?Q∨R, P, ?R} 3. 归结过程 (1)?P∨Q (2)?Q∨R (3)P (4)?R (5)?P∨R (1)(2)归结，新子句 (6)R (3)(5)归结 (7)? (4)(6)归结 作业(4) (P37) 7(10,11), 9(1), 12(1) 定理2.5.5 若A?B永真, 必有B*?A*永真 或者，A?B和B*?A*同永真 证明: (1) 如果A?B永真，则?B??A永真(逆否命题) 根据定理2.5.3，?A= A*-, ?B= B*- 所以B*-?A*-永真，则(B*-?A*-)-永真(代入规则)， 即B*?A*永真 (2) 如果B*?A*永真，根据(1)有: (A*)*?(B*)*永真 根据定理2.5.2，A=(A*)*, B=(B*)* 所以A?B永真 ? 对偶式相关定理 作业(2) (P37) 3，4(2) 2.6 范式 n 个命题变项所能组成的具有不同真值的命题公式仅有22n个, 然而与任何一个命题公式等值而形式不同的命题公式可以有无穷多个 等值的公式，能否都可以化为某一个统一的标准形式？ 希望这种标准形能为我们的讨论带来些方便，如借助于标准形对任意两个形式上不同的公式，可判断它们的是否等值 借助于标准形容易判断任一公式是否为重言式或矛盾式 2.6.1 范式 若干术语 简单命题P及其否定式?P统称为文字 一些文字的合取称为合取式 一些文字的析取称为析取式(也称子句) P与?P称为互补对 析取范式，形如：A1∨A2∨ … ∨An 其中Ai(i=1, …, n)为合取式 合取范式，形如： A1∧A2∧ … ∧An 其中Ai(i=1, …, n)为析取式 * 范式举例 p, ?q p1∨p2 , q1∧q2 范式定理 范式定理：任一命题公式都存在与之等值的析取范式、合取范式 求范式三步曲： 1) 消去?和? 2) 否定深入到命题变项 3) 使用分配律的等值变换 举例 求?(P∨Q)?(P∧Q)的析取范式 ?(P∨Q)?(P∧Q) =(?(P∨Q)∧(P∧Q))∨(??(P∨Q)∧?(P∧Q)) =(?P∧?Q∧P∧Q)∨((P∨Q)∧(?P∨?Q)) =(?P∧?Q∧P∧Q)∨(P∧?P)∨(P∧?Q)∨(Q∧?P)∨(Q∧?Q) (析取范式) = (P∧?Q)∨(Q∧?P) (析取范式，简化) 注：范式的不唯一性 举例 求?(P∨Q)?(P∧Q)的合取范式 ?(P∨Q)?(P∧Q) =(P∧?Q)∨(Q∧?P) (析取范式，简化) =(P∨