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

因为重言式的否定是矛盾式，矛盾式的否定是重言式，这样只研究其一就可以了，后面将重点研究重言式。重言式最有用，因为它有以下特点：两重言式的合取式、析取式、条件式和双条件式等都仍是重言式。于是，由简单的重言式可构造出复杂的重言式。由重言式使用公认的规则可以产生许多有用等价式和蕴涵式。证明重言式的方法*STEP4STEP3STEP2STEP1给定一命题公式，至少存在一个指派，公式相应确定真值为真，称为可满足式。重言式必是可满足式，反之一般不真。判定给定公式是否为永真式、永假式或可满足式的问题，称为给定公式的判定问题。在命题逻辑中，由于任何一个命题公式的指派数目总是有限的，所以命题逻辑的判定问题是可解的。其判定方法有真值表法和公式推演法。例题1证明((P∨S)∧R)V┐((P∨S)∧R)为重言式。1证明因为PV┐P?T，如以((P∨S)∧R)置换P即得((P∨S)∧R)V┐((P∨S)∧R)?T2定理1-5.3设A、B为两个命题公式，A?B当且仅当AB为一个重言式。证明若A?B，则A、B有相同真值，即AB永为T。若AB为重言式，则AB永为T，故A、B的真值相同，即A?B。定理1-5.3的作用：为A?B又提供了一种方法。其他方法：（1）真值表法（2）利用命题定律推导证明例题2证明┐(P∧Q）?（┐P∨┐Q）证明：据定理1-5.3，只需证：┐(P∧Q）（┐P∨┐Q）为重言式。PQP∧Q┐(P∧Q)┐P┐Q┐P∨┐Q┐(P∧Q）（┐P∨┐Q）TTTFFFFTTFFTFTTTFTFTTFTTFFFTTTTT联结词可用→来表达。由第4节例题5可知：AB?(A→B)∧(B→A)下面讨论A→B的重言式。定义1-5.3当且仅当P→Q是一个重言式时，我们称“P蕴含Q”，并记作P?Q。二、蕴含式1.定义01符号→和?的区别与联系类似于?和?的关系。区别：02→是逻辑联结词，属于对象语言中的符号，是公式中的符号；03?不是联结词，属于元语言中的符号，表示两个公式之间的关系，不是两公式中符号。列真值表法：根据定义，只需证P→Q是重言式逻辑推论前真看后真后假看前假等价置换010203042.蕴含式的证明方法：logo例题3证明P?P∨Q证明列出真值表：从表中看出P→P∨Q是一个重言式，故P?P∨Q成立。PQP∨QP→P∨QTTTTTFTTFTTTFFTT证明列出真值表：从表中看出P∨Q→P不是一个重言式，故P∨Q?P不成立。例题4考察P∨Q?P是否成立。PQP∨QP∨Q→PTTTTTFTTFTTFFFFT由例题3和例题4可知，P→Q和Q→P不等价。对P→Q来说，Q→P称作它的逆换式；┐P→┐Q称为它的反换式；┐Q→┐P称为它的逆反式。它们之间的关系如表所示。PQ┐P┐QP→Q原式┐Q→┐P逆反式Q→P逆换式┐P→┐Q反换式TTFFTTTTTFFTFFTTFTTFTTFFFFTTTTTT从表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证法2(后假看前假)假定┐P为F，则P为T。(a）：若Q为F，则P→Q为F，┐Q∧(P→Q）为F。(b）：若Q为T，则┐Q为F，┐Q∧(P→Q）为F。所以┐Q∧(P→Q)?┐P成立。证法1(前真看后真)假定┐Q∧(P→Q）为T，则┐Q为T，且(P→Q）为T。由Q为F，则必须P为F