离散数学知识点

说明： 定义：红色表示。 定理性质：橙色表示。 公式：蓝色表示。 算法: 绿色表示 页码：灰色表示数理逻辑：命题公式：命题， 联结词(，，，，)，合式公式，子公式公式的真值：赋值，求值函数，真值表，等