1离散数学课件1-命题逻辑.pptVIP

* 主要内容： 推理的基本概念和形式结构：①推理的前提②推理的结论③推理正确④有效结论? 判断推理是否正确的方法：①真值表法②等值演算法③主析取范式法 推理规则 1）P规则 2）T规则 3）CP规则 消解原理 本节小结： * 学习要求： 熟练掌握判断推理是否正确的三种方法（真值表法，等值演算法，主析取范式法）。 牢记P系统中的各条推理规则。 对于给定的正确推理，要求在P系统中给出严谨的证明序列。? 会用附加前提证明法和反证法。 作业： 习题1.7 1(4)(5)，2(2), 4(3) * * * * * * * * * * * * * * * * 作业 习题一：5（1）（3）、6 8(1)（3）、9、10 第六节 命题公式的蕴含 一、定义：设A和B是两个WFF，如果在任何解释下，当A取值1 时，B也取值1，就说A蕴含B。A 蕴含 B记为 A?B。 定理：设A和B是两个WFF， A?B当且仅当 A?B是永真式。 证明要点： 当A?B时，A取值1，B必取值1；A取值0， A?B自然取值1，因而A?B恒取值1，即A?B 是永真式；反过来，当 A?B是永真式时，A取值1时，必然B取值1，从而A?B。 A ? B当且仅当A?B且B?A。 命题公式的蕴涵