假设推理法P-Read.pptVIP

第六章 命题逻辑 第三部分：6.5 推理理论 6.5 推理理论 6.5.1 前提与有效结论 6.5.2 证明方法 6.5.1 推理定律和规则 6.5.2 直接证明法 6.5.3 间接证明法 推理 推理：由前提，依据推理规则，推导出结论的思维过程。 命题逻辑中，前提和结论都用命题公式表示 若前提为：P1、P2、···、Pn ；有效结论：Q 由前提P1、P2、···、Pn推出有效结论Q 证明当前提P1、P2、···、Pn都成立（为真）时，Q成立（为真） P1∧ P2∧ ··· ∧ Pn ? Q （P1, P2, ··· , Pn ? Q ） 证明永真蕴涵式的方法： 证明A?B： 真值表法 命题(等价)演算法 利用等价公式和永真蕴涵公式证明 假设推理法。(假设前提为真，证明结论必为真) 主析取范式法 例1.6.1 证明﹁Q是前提P，P∨Q, ﹁ (P∧Q)的有效结论 证明: 等价于证明P ∧ (P∨Q)∧(﹁ (P∧Q)) ?﹁Q (1) 真值表法