离散数学第1章重言式与蕴含式和其它连接词.pptVIP

第一章 命题逻辑第3讲 为什么要学习离散数学？ 李开复：给中国学生的第四封信——大学四年应该这么度过 数学是理工科学生必备的基础。很多学生在高中时认为数学是最难学的，到了大学里，一旦发现本专业对数学的要求不高，就会彻底放松对数学知识的学习，而且他们看不出数学知识有什么现实的应用或就业前景。但大家不要忘记，绝大多数理工科专业的知识体系都建立在数学的基石之上。例如，要想学好计算机工程专业，那至少要把离散数学（包括集合论、图论、数理逻辑等）、线性代数、概率统计和数学分析学好；要想进一步攻读计算机科学专业的硕士或博士学位，可能还需要更高的数学素养。 课程回顾 第1次课： 命题；5个联结词 第2次课： 合式公式 命题的翻译 命题公式等价的两种证明方法 真值表 利用命题定律推导 第一章 命题逻辑 第3讲§1—5 重言式与蕴含式 §1—6 其他连结词 重点：重言式、蕴含式 难点：用推理方法证明蕴含式。 回顾 回顾 一、重言式和矛盾式 定义1-5.1 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为重言式或永真公式。 因为重言式的否定是矛盾式，矛盾式的否定是重言式，这样只研究其一就可以了，后面将重点研究重言式。重言式最有用，因为它有以下特点： ①两重言式的合取式、析取式、条件式和双条件式等都仍是重言式。于是，由简单的重言式可构造出复杂的重言式。 ②由重言式使用公认的规则可以产生许多有用等价式和蕴涵式。 证明重言式的方法 给定一命题公式，至少存在一个指派，公式相应确定真值为真，称为可满足式。 重言式必是可满足式，反之一般不真。 判定给定公式是否为永真式、永假式或可满足式的问题，称为给定公式的判定问题。 在命题逻辑中，由于任何一个命题公式的指派数目总是有限的，所以命题逻辑的判定问题是可解的。其判定方法有真值表法和公式推演法。 例题1 证明((P∨S)∧R)V┐((P∨S)∧R)为重言式。 定理1-5.3 设A、B为两个命题公式，A ? B当且仅当A B为一个重言式。 证明 若A?B，则A、B有相同真值，即A B永为T。 若A B为重言式，则A B永为T，故A、B的真值相同，即A?B。 例题2 证明┐(P∧Q）?（┐P∨┐Q） 证明：据定理1-5.3 ，只需证：┐(P∧Q） （┐P∨┐Q）为重言式。 二、蕴含式 联结词 可用→来表达。由第4节例题5可知： A B? (A→B)∧(B→A) 下面讨论A→B的重言式。 1.定义 定义1-5.3 当且仅当P→Q是一个重言式时，我们称“P蕴含Q”，并记作P ? Q。 符号→和?的区别与联系类似于?和?的关系。区别： →是逻辑联结词，属于对象语言中的符号，是公式中的符号； ?不是联结词，属于元语言中的符号，表示两个公式之间的关系，不是两公式中符号。 2. 蕴含式的证明方法： (1)列真值表法： 根据定义， 只需证P→Q是重言式 (2)逻辑推论 前真看后真 后假看前假 (3)等价置换 例题3 证明P ? P∨Q 证明 列出真值表： 从表中看出P→P∨Q是一个重言式，故P ? P∨Q成立。 证明 列出真值表： 从表中看出P∨Q→P 不是一个重言式，故 P∨Q ? P不成立。 由例题3和例题4可知，P→Q和Q→P不等价。 对P→Q来说， Q→P称作它的逆换式； ┐P→┐Q称为它的反换式； ┐Q→┐P称为它的逆反式。 它们之间的关系如表所示。 从表1-5.1中看出：(P→Q）?（┐Q→┐P） (Q→P）?（┐P→┐Q） 因此要证明P ? Q，只需证明┐Q ? ┐P，反之亦然。 要证明P ? Q，即证P→Q是重言式。 对于P→Q来说，除P的真值取T，Q的真值取F这样一种指派时，P→Q的真值为F外，其余情况，P→Q的真值为T。 要证P→Q是重言式： （1）只要对条件命题P→Q的前件P，指定真值为T，若由此推出Q的真值也为T，则P→Q是重言式，即P ? Q成立(前真看后真)； （2）同理，如条件命题P→Q中，假定后件Q的真值取F，若由此推出P的真值为F，即推证了┐Q ? ┐P 故P ? Q成立(后假看前假)。 例题1 推证┐Q∧(P→Q） ? ┐P 表 1-5.2 常用的蕴含重言式 三、等价式和蕴含式的关系 就象联结词 和→的关系一样，等价式与蕴含式之间也有紧密的联系。 定理1-5.4 设P、Q为任意两个命题公式，P?Q的充分必要条件是P ? Q且Q ? P。 蕴含有下面几个常用的性质：