10命题逻辑习题课分析.pptVIP

 离 散 数 学 一、 命题及其表示 1.命题 2.命题分类 3.命题变元与常元 二、命题联结词 四、真值表 真值表的构造规则： 五、命题公式的类型 1.重言式 2.矛盾式 3.偶然式 六、等价公式 1.等价公式定义 2.等价公式的证明(真值表) 七、蕴含公式 证明蕴含公式的方法: ①用真值表法或等价变换(推导)法证明A→B ?1 。 ②通过分析的方法来证明一个条件命题是蕴含式。 Ⅰ 假设前件A为真时, 推出后件B也为真, 则A?B ; Ⅱ假设后件B为假时, 推出前件A也为假, 则A?B 。 八、推理理论 1.推理规则 P规则：在推导的任意一步都可以引入一个前提。 T规则：如果公式S等价于或被重言蕴含在一个或多个前提或中间结果命题中，则推导中可以引入S。 CP规则：如果能从R及一组前提推导出C，则可从这组前提推导出R→C。 2.推理定律 3.推理方法 ①直接证明法 利用推理规则和已知的等价式和蕴含式，从前提集合中直接推导出有效结论。 ②间接证明法 ⅰ.间接证明法1 在推导过程中，将结论的否定作为附加前提引入，与前提一起推导出矛盾的结果。 ⅱ.间接证明法2 在推导过程