离散数学核心概念笔记整理.docxVIP

离散数学核心概念笔记整理

离散数学作为计算机科学与技术、软件工程等学科的理论基础，其核心概念构建了从具体问题到抽象模型的桥梁。这份笔记旨在梳理离散数学的核心脉络，以严谨的逻辑串联各知识点，为深入理解计算机科学的底层原理提供支撑。

一、数理逻辑：推理的形式化基础

数理逻辑是离散数学的基石，它研究如何用数学符号系统精确地表达和处理逻辑思维。

命题逻辑：对简单判断的抽象

命题是指一个非真即假的陈述句。不同于自然语言的模糊性，命题逻辑将“真”与“假”作为命题的唯一属性，分别用T（或1）与F（或0）表示。命题的联结词是构成复杂命题的基本工具，包括否定（?）、合取（∧）、析取（∨）、蕴含（→）和等价（?）。其中，蕴含联结词的逻辑关系尤为关键，它表示“若前提为真，则结论必为真”，其唯一的假值情况是当前提为真而结论为假时。

真值表是分析复合命题逻辑特性的直观工具，通过枚举所有原子命题的真值组合，可以确定复合命题的真值情况。等值演算是命题逻辑中的重要方法，利用已知的等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、蕴含等值式、等价等值式等）对命题公式进行变换，以判断公式的类型（重言式、矛盾式、可满足式）或证明两个公式等值。

范式是命题公式的标准形式，合取范式与析取范式为命题逻辑的机械化解题提供了可能。主合取范式和主析取范式则进一步唯一地表示了命题公式的真值特征，通过极小项和极大