数理逻辑与代数系统重点整理.pptVIP

离散数学重点整理 By 迷若烟雨 第1章 命题逻辑 主要内容 1.1 命题与联结词 1 1.2 命题公式与翻译 2 1.3 真值表与等价公式 3 1.4 重言式与蕴含式 4 1.5 其他联结词 5 1.6 对偶与范式 6 1.7 推理理论 7 应记住的等价公式（都可以通过真值表验证） 1 对合律   P  P （双重否定律） 2 幂等律 P  P  P P ∧ P  P 3 结合律 (P  Q)  R  P  (Q  R) (P ∧ Q) ∧ R  P ∧ (Q ∧ R) 4 交换律 P  Q  Q  P P ∧ Q  Q ∧ P 5 分配律 P  (Q ∧ R)  (P  Q) ∧ (P  R) P ∧ (Q  R)  (P ∧ Q)  (P ∧ R) 6 吸收律 P  (P ∧ Q)  P P ∧ (P  Q)  P 7 德.摩根律 (P  Q) P ∧  Q (P ∧ Q) P   Q 应记住的等价公式 8 同一律 P ∧ T  P P  F  P 9 零律 P  T  T P ∧ F  F 10否定律 P  P  T P ∧ P  F（补余律） 补充： 11蕴含表达式 P  Q   P  Q  