命题等价 Propositional Equivalences思维导图.pdfVIP

若A-B是重言式，则A B。A重言蕴涵B 真值表 假设前件为真，推导后件为真 证明方法 重言蕴涵式 假设后件为假，推导前件为假 P Q当且仅当P Q且Q P 等价式与蕴涵式关系 命题常元 具体，确定的 无法确定真值 命题变元 若A永真则！A永假 命题逻辑 不是命题 重言式 （永真式） 若A,B永真，则AB,A ||B,A-B,A-B都永真 表示复合命题 命题连接词 + 原子变元 重言式与矛盾式 矛盾式 （永假式）