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

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

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

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

离散数学知识点概述 目录 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时称 ...

一、代数结构 函数f : A×A→A称作A上的一个二元运算，通常写作〇(a,b)或a〇b。 此时运算表中的每个元素都属于A，称A对f封闭。例如Z+对除法运算不封闭（除法不是正整数集合上的二元运算） ...

1谓词 1.1引入 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生两大缺点： （1）不能研究命题内部的结构，成分和内部逻辑的特征； （2）也不可能表达两个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 例如 著名 ...