离散数学1-5,1-6.pptVIP

第一章 命题逻辑第3讲 课程回顾 第1次课： 命题；5个联结词 第2次课： 命题的翻译 命题公式等价的两种证明方法 真值表 利用命题定律推导 真值表 在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。 逻辑相等 给定两个命题公式A和B，设P1，P2，……，Pn为所有出现于A和B中的原子变元，若给P1，P2，……，Pn任一组真值指派，A和B的真值都相同，则称A和B是等价的或逻辑相等。记作A ? B。 子公式如果X是合式公式A的一部分，且X本身也是一个合式公式，则称X为公式A的子公式。 定理1-4.1 设X是合式公式A的子公式，若X ? Y，如果将A中的X用Y来置换，所得到公式B与公式A等价，即A ? B。 10个命题定律。  1-5 重言式与蕴含式 1-6 其他联结词 一、重言式和矛盾式 从上节真值表和命题的等价公式推证中可以看到，有些命题公式，无论对分量作何种指派，其对应的真值都为T （见14页表1-4.4）或都为F（见13页表1-4.2）。 表 1-4.2 重言式和矛盾式这两类特殊的命题公式在今后的命题演算中极为有用。 定义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成立(后假看前假)。 P21页例题1 推证┐Q∧(P→Q） ? ┐P 表 1-5.2 常用的蕴含式 就象联结词 和→的关系一样，等价式与蕴含式之间也有紧密