2021年离散数学知识点整理.doc

离散数学
逻辑和证明

命题：是一种可以判断真假陈述句。
联接词：∧、∨、→、↔、¬。记住“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

系统规范阐明一致性是指系统没有也许会导致矛盾需求，即若pq无论取何值都无法让复合语句为真，则该系统规范阐明是不一致。

逻辑等价：在所有也许状况下均有相似真值两个复合命题，可以用真值表或者构造新逻辑等价式。
证逻辑等价是通过p推导出q，证永真式是通过p推导出T。
逻辑等价式
p∧T ⇔ p
p∨F ⇔ p
恒等律
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
(p→q)∨(p→r) ⇔ p→(q∨r)
(p→r)∨(q→r) ⇔ (p∧q)→r
双条件命题等价式
p↔q ⇔ (p→q)∧(q→p)
p↔q ⇔ ¬p↔¬q
p↔q ⇔ (p∧q)∨(¬p∧¬q)
¬(p↔q) ⇔ p↔¬q

谓词+量词变成一种更详细命题，量词要阐明论域，否则没故意义，如果有约束条件就直接放在量词背面，如∀x>0P(x)。
当论域中元素可以一一列举，那么∀xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理，∃xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。
两个语句是逻辑等价，如果无论她们谓词是什么，也无论她们论域是什么，她们总有相似真值，如∀x（P(x)∧Q(x))和(∀xP(x))∧(∀xQ(x))。
量词表达式否定：¬∀xP(x) ⇔ ∃x¬P(x)，¬∃xP(x) ⇔ ∀x¬P(x)。

咱们采用循环思考办法。量词顺序不同会影响成果。语句到嵌套量词语句翻译，注意论域。嵌套量词否定就是持续使用德摩根定律，将否定词移入所有量词里。

一种论证是有效，如果它所有前提为真且蕴含着结论为真。但有效论证不代表结论对的，由于也许有前提是假。
推理规则，都是基于永真式，用来证明一种前提蕴含一种结论。而基于可满足式推理规则叫谬误。
p
p→q
(p∧(p→q)