第一章 命题逻辑(1.5-1.6).pptVIP

§1.5 重言式与蕴含式 定义1-5.1 给定命题公式，若无论对分量作何种指派，其对应的真值永为T，则称该命题公式为重言式或永真公式。 例如：P ∨ ?P是一个重言式 定义1-5.2 给定命题公式，若无论对分量作何种指派，其对应的真值永为F，则称该命题公式为矛盾式或永假公式。 例如：P Λ ?P是一个永假式 §1.5 重言式与蕴含式 定理1-5.1 任何两个重言式的合取或析取，仍然是一个重言式。 §1.5 重言式与蕴含式 定理1-5.2 一个重言式，对同一个分量都用任何合式公式置换，其结果仍为一个重言式。 §1.5 重言式与蕴含式 定理1-5.2 一个重言式，对同一个分量都用任何合式公式置换，其结果仍为一个重言式。 §1.5 重言式与蕴含式 §1.5 重言式与蕴含式 §1.5 重言式与蕴含式 公式的蕴含与常用的蕴含式 定义1-5.3 当且仅当P→Q是一个重言式，称“P蕴含Q”，记作P ? Q。 例 可以验证P ∧Q →Q是一个重言式，所以P ∧Q 蕴含Q，记作P ∧Q ? Q §1.5 重言式与蕴含式 公式的蕴含与常用的蕴含式 通常，对公式P→Q来说， 公式Q→P称作它的逆换式； ? P→ ? Q称为它的反换式； ? Q→ ? P称它的逆反式。 可以验证： P→Q ? ? Q→ ? P，即原公式与逆反式等价 Q→P ? ? P→ ? Q，即逆换式与反换式等价 §1.5 重言式与蕴含式 常用的蕴含式 Ｐ?Ｐ∨Ｑ　 （Ｑ?Ｐ∨Ｑ）　 ＰΛＱ? Ｐ　（ＰΛＱ? Ｑ） 　ＰΛ（Ｐ→Ｑ） ?Ｑ　 （Ｐ→Ｑ）Λ?Ｑ? ?Ｐ 　　　 ?ＰΛ（Ｐ∨Ｑ） ? Ｑ　 （Ｐ→Ｑ）Λ（Ｑ→Ｒ） ? （Ｐ→Ｒ） （Ｐ→Ｑ）Λ（Ｒ→Ｓ） ? （ＰΛＲ→ＱΛＳ） （Ｐ?Ｑ）Λ（Ｑ?Ｒ） ? （Ｐ?Ｒ） ?P ?Ｐ→Ｑ §1.5 重言式与蕴含式 常用的蕴含式 Ｑ? Ｐ→Ｑ　　　　 ?（Ｐ→Ｑ） ? Ｐ　　　 ?（Ｐ→Ｑ） ? ?Ｑ　 　 （Ｐ∨Ｑ）Λ（Ｐ→Ｒ）Λ（Ｑ→Ｒ） ? Ｒ 证明上述蕴含式的方法有三种： （１）把“? ”关系符改为“→”联结词，证明它为永真式。 (a)真值表法 (b)命题演算法 §1.5 重言式与蕴含式 （２）＊找出使单条件命题前件为“Ｔ”的所有真值指派，试看能否导致后件均为“Ｔ”，若为“Ｔ”，则永真蕴含关系成立。 §1.5 重言式与蕴含式 （２）＊找出使单条件命题前件为“Ｔ”的所有真值指派，试看能否导致后件均为“Ｔ”，若为“Ｔ”，则永真蕴含关系成立。 例：ＰΛ（Ｐ→Ｑ） ? Ｑ 前件为“Ｔ”的所有指派为Ｐ、（Ｐ→Ｑ）均为“Ｔ”， Ｐ→Ｑ为“Ｔ”，∵Ｐ为“Ｔ”，∴Ｑ也应为“Ｔ”， ∴ＰΛ（Ｐ→Ｑ） ? Ｑ成立 §1.5 重言式与蕴含式 （３）＊找出使单条件命题的后件均为“Ｆ”的所有真值指派，试看前件的所有真值是否为“Ｆ”，若是，则蕴含成立。 例：?ＱΛ（Ｐ→Ｑ） ? ?Ｐ 后件为“Ｆ”的所有条件是：Ｐ为“Ｔ”， 代入前件得 （ⅰ）若Ｑ为Ｔ，则?ＱΛ（Ｐ→Ｑ）为“Ｆ”； （ⅱ）若Ｑ为Ｆ，则?ＱΛ（Ｐ→Ｑ）为“Ｆ”； ∴?ＱΛ（Ｐ→Ｑ） ? ?Ｐ成立 若后件简单则可选用(3)；若前件简单则可选用(2)。 二种方法是互为独立的，只需使用一种证明就行。 §1.5 重言式与蕴含式 例 推证 ? Q ∧ （P → Q） ? ? P 证明：直接证法 思路：证明? Q ∧ （P → Q） 为T时， ? P一定为T。 假定? Q ∧ （P → Q） 为T，则? Q 为T，且 （P → Q）为T 由Q为F， （P → Q）为T，知有P 为F，故? P为T， 则? Q ∧ （P → Q） ? ? P §1.5 重言式与蕴含式 例 推证 ? Q ∧ （P → Q） ? ? P 证明：反证法 思路：证明? P为F时， ? Q ∧ （P → Q）一定为F 。 假定? P 为F，则P 为T， （1）若Q为T，则? Q 为F，故? Q ∧ （P → Q）为F，则? Q ∧ （P → Q） ? ? P成立 （2）若Q为F，则P → Q为F，故? Q ∧ （P → Q）为F，则? Q ∧ （P → Q） ? ? P成立 §1.5 重言式与蕴含式 等价式与蕴含式的关系 定理1-5.4 设P、Q为任意两个命题公式，P ?Q的充分必要条件是P ?