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

离散数学 逻辑和证明 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 恒等律 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 1.4量词 谓词+量词变成一种更详细命题，量词要阐明论域，否则没故意义，如果有约束条件就直接放在量词背面，如?x0P(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)。 1.5量词嵌套 咱们采用循环思考办法。量词顺序不同会影响成果。语句到嵌套量词语句翻译，注意论域。嵌套量词否定就是持续使用德摩根定律，将否定词移入所有量词里。 1.6推理规则 一种论证是有效，如果它所有前提为真且蕴含着结论为真。但有效论证不代表结论对的，由于也许有前提是假。 推理规则，都是基于永真式，用来证明一种前提蕴含一种结论。而基于可满足式推理规则叫谬误。 p p→q (p∧(p→q))→q 假言推理 q p→q q→r ((p→q)∧(q→r))→(p→r) 假言三段论 p→r ?q p→q (?q∧(p→q))→?p 取拒式 ?p p∨q ?p ((p∨q)∧?p)→q 析取三段论 q p p→(p∨q) 附加律 p∨q p∧q (p∧q)→p 化简律 p p q （p∧q）→（p∧q） 合取律 p∧q p∨q ?p∨r (p∨q)∧(?p∨r)→(q∨r) 消解律 q∨r 量化推理规则 ?xP(x) 全称实例 P(c) P(c)，任意c 全称引入 ?P(x) ?xP(x) 存在实例 P(c)，对某个c P(c)，对某个c 存在引入 ?xP(x) 命题和量化命题组合使用。 集合、函数、序列、与矩阵 2.1集合 ∈说是元素与集合关系，?说是集合与集合关系。常用数集有N={0,1,2,3...}，Z整数集，Z+正整数集，Q有理数集，R实数集，R+正实数集，C复数集。 A和B相等当仅当?x(x∈A?x∈B)；A是B子集当仅当?x(x∈A→x∈B)； A是B真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集：集合元素所有也许组合，必定有?何它自身。如?幂集就是{?}，而{?}幂集是{?，{?}}。 笛卡尔积：A×B，成果是序偶，其中一种子集叫一种关系。 带量词和集合符号如?x∈R（x20）是真，则所有真值构成真值集。 集合恒等式 名称 (A∪B)=A∩B? (A∩B)=A∪B 德摩根律 A∪(A∩B)=A A∩(A∪B)=A 吸取律 2.3函数 考虑A→B函数关系，定义域、陪域（实值函数、整数值函数）、值域、像集（定义域一种子集在值域元素集合）。 一对一或者单射：B