离散数学知识点.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∨(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∧T ? p∨F ? p p 恒等律 p∧F ? F 支配律 p∨T ? T p∧p ? p 幂等律 ?(?P) ? p 双否律 p∧q ? q∧p 交换律 (p∧q)∧r ? p∧(q∧r) 结合律 —— —— 欢迎下载 PAGE 欢迎下载 PAGE 2 (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 量词 谓词+量词变成一个更详细的命题，量词要说明论域，否则没有意义，如果有约束条件就直接放在量词后面，如? 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 q （p∧q）→（p∧q） 合取律 p∧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) 消解律 全称实例 全称引入 存在实例存在引入 命题和量化命题的组合使用。 二、集合、函数、序列、与矩阵 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∪BA∪(A∩B)=A A∩(A∪B)=A名称德摩根律吸收律幂集：集合元素的所有可能组合，肯定有 笛卡尔积：A×B，结果是序偶，其中的一个子集叫一个关