第二章 命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为 ...

一、格 假设(L, ≤)为偏序集，如果对于任意 a, b∈L ，{a, b} 都存在上确界和下确界，则称 (L, ≤) 为一个格（lattice） 显然上确界和下确界有唯一性 上确界LUB({a ...

一、图的基本概念 无向图可以用二元组G=<V , E>表示，其中E是无序积V&V的有穷多重子集。 无向图中，所有顶点度数之和∑deg(v)=2|E|，即奇数度的顶点数必是偶数。 ...

离散数学知识点概述 目录 1. 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 范式 1.5 联结词全功能集 1.6 组合电路 1.7 推理理论 持续 ...

一、关系的运算 笛卡尔积/直积A×B={(a , b) | a∈A且b∈B}，对于∩和∪都满足分配性。 A×B=B×A ⟺(A=∅)∨(B=∅)∨(A=B) R⊆A×B，当(a , b)∈R时称 ...

一、命题 命题：陈述句，有唯一真值/非真既假（不一定知道） 简单命题/命题常元：真值确定。 命题变元p：常用来表示命题。只有明确表示某个命题时才有具体的含意和确定的真值。 命题联结词/命题运算 ...

一、谓词与谓词公式 谓词：表示个体词性质或相互之间关系的词 量词：用来表示个体数量的词是 谓词的量化：给谓词加上量词 一元目谓词P(x)、n元目谓词P(x, y, z, ...)它们是命题形 ...

离散数学 数学语言与证明方法 集合 幂集 运算 交集 并集 相对补集 绝对补集 对称差集 运算律 交换律 结合律 分配律 德摩根律 恒等式 证明方法 ...