真值表方法与命题演算培训资料.pptVIP

第四章 真值表方法与命题演算;判定程序的三个要求;二、完全真值表法;2、完全真值表法的判定功能;三、简化真值表法;（二）真值树法 1、判定功能 (1)判定一命题公式是否重言式； (2)判定一组前提的一致性； (3)判定一个推理的有效性。 2、构造规则(分解规则） 合取并列、析取分枝、多重转化 3、构造步骤及注意事项 多重转化、 合取先行、析取分枝、 4、具体应用 ;第二节 命题演算的证明方法;二、直接证明法 ;三、假设证明法;四、反证法;五、推证技巧分析;解法一：直接证明法;;解法三：反证法;（二）推证技巧应用原则 ………… ………………………… 推证技巧应用的基本思路：