离散数学知识点整理.pdf

- 离散数学 一、逻辑和证明 1.1 命题逻辑 命题：是一个可以判断真假的陈述句。 联接词：∧、∨、→、↔、¬。记住p 仅当 q”意思是如果 p ，则 q”，即 p →。记住 q 除非 p”意思是¬p→q”。会考察条件语句翻译成汉语。 构造真值表 p q p ∧q p ∨q p→q p↔q p ⊙q ¬p T T T T T T F F T F F T F F T F F T F T T F T T F F F F T T F T 1.2 语句翻译 系统规*说明的一致性是指系统没有可能会导致矛盾的需求，即若 pq 无论取 何值都无法让复合语句为真，则该系统规*说明是不一致的。 1.3 命题等价式 逻辑等价：在所有可能情况下都有相同的真值的两个复合命题，可以用真值 表或者构造新的逻辑等价式。 证逻辑等价是通过 p 推导出 q ，证永真式是通过 p 推导出 T 。 逻辑等价式 p ∧T ⇔ p 恒等律 p ∨F ⇔ p . z. - p ∧F ⇔ F 支配律 p ∨T ⇔ T p ∧p ⇔ p 幂等律 ¬(¬P) ⇔ p 双否律 p ∧q ⇔ q ∧p 交换律 (p ∧q) ∧r ⇔ p ∧(q ∧r) 结合律 p ∨(q ∧r) ⇔ (p ∨q) ∧(p ∨r) 分配律 p ∧(q ∨r) ⇔ (p ∧q) ∨(p ∧r) ¬(p∧q) ⇔¬p∨¬q 德摩根律 ¬(p∨q) ⇔¬p∧¬q p ∨(p ∧q) ⇔ p 吸收律 P ∧(p ∨q) ⇔ p p ∧¬p ⇔ F 否定律 p ∨¬p ⇔ T 条件命题等价式 p→q ⇔¬p∨q p→q ⇔¬q→¬p p ∨q ⇔¬p→q p ∧q ⇔¬(p→¬q) ¬(p→q) ⇔p ∧¬q (p→q) ∧(p→r) ⇔ p→(q ∧r) (p→r) ∧(q→r) ⇔ (p ∨q)→r . z. - (p→q) ∨(p→r) ⇔ p→(q ∨r) (p→r) ∨(q→r) ⇔ (p ∧q)→r 双条件命题等价式 p↔q ⇔ (p→q) ∧(q→p) p↔q ⇔¬p↔¬q