重言式和真值表.pdfVIP

重言式 重言式与矛盾式 一个公式如果不论其中的命题变元取何真 值，这个公式本身都为真，那么就称这个 公式为重言式（tautology），或恒真式。 一个公式如果不论其中的命题变元取何真 值，这个公式本身都为假，那么就称这个 公式为矛盾式（contradiction ），或恒 假式。 例子 重言式：  p ∨¬p  (p →p) 矛盾式：  p ∧¬p  ¬(p →p) 常见重言式 ¬(p ∧q)↔¬p ∨¬q ¬(p ∨q)↔¬p ∧¬q ¬(p →q)↔ p ∧¬q ¬¬p ↔p 常见重言式 (p →q)↔¬p ∨q (p →q)↔¬(p ∧¬q) (p ∨q) ↔ (¬p →q) (p ∧q) ↔¬(p →¬q) 用真值表判定重言式 真值表判定任一命题形式是否是重言式。 例1、（（p∨q ）∧¬p）→q p q ¬p p∨q (p∨q ） （（p∨q ）∧¬p） ∧¬p →q T T F T F T T F F T F T F T T T T T F F T F F T 例2、（（p∨q ）∧p）→ ¬ q （（p∨q ）∧p） p q ¬q p∨q (p∨q ）∧p → ¬ q T T F T T F T F T T T T F T F T F T F F T F F T 真值表判定任意两个复合命题之间 是否具有等值关系  例1、¬ （p ∧q ）  ¬ p ∨ ¬ q p q ¬p ¬q (p∧q) ¬(p∧q) ¬p∨¬q T T F F T F F T F F T F T T F T T F F T T F F T T F T T 由真值表可知这两个命题之间具有等值关 系。 例2、¬ （p∨q）；¬ p ∨ ¬ q p q ¬p ¬q (p ∨q) ¬(p ∨q) ¬p∨¬q T T F F T F F T F F T T F