离散数学知识点整理.docx

离 散 数 学 一、逻辑和证明命题逻辑 命题：是一个可以判断真假的陈述句。 联接词：∧、∨、→、?、?。记住“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) 逻辑等价式 ?(?P) ? p p∧q ? q∧p (p∧q)∧r ? p∧(q∧r) p∨(q∧r) p∧(q∨r) ? (p∨q)∧(p∨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∧T p∨F ? ? p p 恒等律 p∧F ? F 支配律 p∨T ? T p∧p ? p 幂等律 p→q ? ?p∨q p→q ? ?q→?p 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) ? p∧?q ?(p?q) ? p??q 谓词+量词变成一个更详细的命题，量词要说明论域，否则没有意义，如果有约束条件就直接放在量词后面，如?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)。量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译，注意论域。嵌套量词的否定就是连续使用德摩根定律，将否定词移入所有量词里。推理规则 推理规则，都是基于永真式的，用来证明一个前提蕴含一个结论。而基于可满足式的推理规则叫谬误。 推理规则，都是基于永真式的，用来证明一个前提蕴含一个结论。而基于可满足式的推理规则叫谬误。 p p→q q (p∧(p→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 （p∧q）→（p∧q） 合取律 q q p∧q p∨q ?p∨r q∨r 量化推理规则 ?xP(x) P(c) P(c)，任意 c ?P(x) ?xP(x) P(c)，对某个 c P(c)，对某个 c ?xP(x) (p∨q)∧(?p∨r)→(q∨r) 消解律 全称实例 全称引入 存在实例存在引入 命题和量化命题的组合使用。 二、集合、函数、序列、与矩阵集合 ∈说的是元素与集合的关系，?说的是集合与集合的关系。常见数集有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 名称 德摩根律 吸收律 函数 考虑 A→B 的函数关系，定义域、陪域（实值函数、整数值函数）、值