离散数学chapter02.ppt

例2 用主析取范式法证明(P?Q)∧Q?P不是重言式 　(P?Q)∧Q?P ??((?P∨Q)∧Q)∨P ?((P∧?Q)∨?Q)∨P (吸收律) ??Q∨P ?((?Q∧P)∨(?Q∧?P))∨((P∧Q)∨(P∧?Q)) ? (?P∧?Q)∨(P∧?Q)∨(P∧Q) ? m0∨m2∨m3 缺少m1即(?P∧Q), 所以(P?Q)∧Q?P不是重言式，或者说推理形式(P?Q)∧Q?P不正确 举例 2. A?B成立的充分必要条件是A?B为重言式, 即 A∧?B是矛盾式 3. (逆否定理) A?B成立的充分必要条件?B? ?A 4. 解释法 　例: (P?Q)∧(Q?R) ? (P?R) 若(P?Q)∧(Q?R)＝T, 则同时有P?Q＝T, Q?R=T 若P=T, 则Q=T, 进而R=T. 故P?R＝T 若P=F, 则Q可取任意值: (1) Q=T, 则R=T; (2) Q=F, 则R取何值 无论如何, P?R=T 5. 真值表法, 即通过真值表检验A为真时B一定为真 注： 证明A?B时不考虑A为假的情况 证明推理公式的方法 上述方法的特点 都是从真值的角度进行论证和解释 看不出由前提A到结论B的推演过程 难于扩展到谓词逻辑的推演过程 2.9 推理演算(证明推理公式A?B的新方法) 基本思想：从前提A1, …, An出发(即A= A1?A2? … ?An)运用推理规则和基本推理公式，逐步推演出结论B，即证明A?B 推理规则 前提引入规则（P规则） 推理过程中可以随时引入前提A1, …, An 结论引用规则（T规则） 推理过程中得到的中间结论可作为后续推理的前提 代入规则(参考P8) 推理过程中对重言式的命题变项可使用该规则 推理规则 置换规则(参考P18) 推理过程中命题公式中任何部分公式都可由与之等值的公式置换 分离规则(假言推理) 已知命题公式A?B和A, 则有命题公式B(B被分离出来) 条件证明规则(附加前提)（CP规则） A1 ? A2?B与A1?A2 ? B是等价的。即结论方的条件A2移到了前提方, 作为条件使用。 例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) 特点: 反证法、条件证明、结论引入 举例 设R1=B∨A’1, R2=?B∨A’2为两个子句 有互补对B和?B 则新子句R(R1, R2)= A’1∨A’2称为R1, R2的归结式. 证明： R1 , R2 = R(R1,R2) (非常重要) 2.10 归结推理法(证明推理公式A?B的新方法) 特点 定理机器证明方法 只有一条归结推理规则 易于机器实现 可推广到谓词逻辑推理 基本思想 证明A?B等价于证明A??B是矛盾式 用反证法, 即假设A??B在某种解释下为真, 最后导出矛盾, 得以证明 A ? B 等价于 A ? -B - 0 等价于 A ^ -B ? 0 归结证明过程 从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)