（可直接使用）离散数学第1章重言式与蕴含式和其它连接词.pptVIP

* 一、重言式和矛盾式 定义1-5.1 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为重言式或永真公式。 定义1-5.2 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为F，则称该命题公式为矛盾式或永假公式。 0.0 对于矛盾式也有类似于定理1-5.1和定理1-5.2的结果。 证明 由于重言式的真值与分量的指派无关，故对同一分量以任何合式公式置换后，重言式的真值仍永为T。 口 定理1-5.2 一个重言式，对同一分量都用任何合式公式置换，其结果仍为一重言式。 证明 设A和B为两个重言式，则不论A和B的分量指派任何真值，总有A为T，B为T，故A∧B?T，A∨B?T。 口 定理1-5.1 任何两个重言式的合取或析取，仍然是一个重言式。 0.0 * 因为重言式的否定是矛盾式，矛盾式的否定是重言式，这样只研究其一就可以了，后面将重点研究重言式。重言式最有用，因为它有以下特点： ①两重言式的合取式、析取式、条件式和双条件式等都仍是重言式。于是，由简单的重言式可构造出复杂的重言式。 ②由重言式使用公认的规则可以产生许多有用等价式和蕴涵式。 0.0 * * 证明重言式的方法 给定一命题公式，至少存在一个指派，公