离散数学命题逻辑4.pptVIP

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