离散数学知识点.pdfVIP

说 明 ： 定义 ：红色表示 。 定理性质： 橙色表示。 公式： 蓝色表示 。 算法 : 绿色表示 页码 ：灰色 表示 数理逻辑： 1. 命题公式： 命题， 联结词 ( ， ， ， ， )，合式公式，子公式 2. 公式的真值： 赋值，求值函数，真值表，等值式，重言式，矛盾式 3. 范式： 析取范式，极小项，主析取范式，合取范式，极大项，主合取范式 4. 联结词的完备集： 真值函数，异或，条件否定，与非，或非，联结词完备集 5. 推理理论： 重言蕴含式，有效结论， P 规则， T 规则， CP 规则，推理 6. 谓词与量词 :谓词，个体词，论域，全称量词，存在量词 7. 项与公式 :项，原子公式，合式公式，自由变元，约束变元，辖域，换名，代入 8. 公式语义 :解释，赋值，有效的，可满足的，不可满足的 9. 前束范式 :前束范式 10. 推理理论 :逻辑蕴含式，有效结论， -规则（ US ）， +规则（ UG ）， - 规则 (ES) ， +规则 (EG), 推 理 集合