离散数学知识点.docxVIP

离散数学知识点

离散数学是研究离散量的结构及其相互关系的数学学科，是计算机科学、信息科学、电子工程等专业的核心基础课。其内容涵盖集合论、数理逻辑、代数结构、图论四大核心分支，注重逻辑推理和抽象思维能力的培养，为数据结构、算法设计、数据库系统、人工智能等后续课程提供理论支撑。本总结紧扣课程核心，梳理各分支关键概念、定理及应用，帮助学习者构建完整的知识体系。

第一部分数理逻辑：推理与形式化

数理逻辑是用数学方法研究逻辑推理的学科，核心是将逻辑推理转化为形式化的符号演算，分为命题逻辑和谓词逻辑两大模块，是离散数学逻辑推理能力培养的基础。

一、命题逻辑

1.命题与联结词

（1）命题：能判断真假的陈述句，分为原子命题（不可再分的简单命题，如“2是偶数”）和复合命题（由原子命题通过联结词组合而成，如“2是偶数且3是奇数”）。注意：疑问句、祈使句、悖论（如“我正在说谎”）不是命题。

（2）常用联结词：①否定（?，“非”）：若命题P为真，则?P为假；②合取（∧，“且”）：P∧Q为真当且仅当P和Q均为真；③析取（∨，“或”）：P∨Q为真当且仅当P和Q至少一个为真（相容或，允许两者均真）；④蕴含（→，“如果…那么…”）：P→Q为假当且仅当P为真且Q为假（重点：前件为假时，蕴含式恒真，即“假能推任何”）；⑤等价（?，“当且仅当”）：P?Q为真当且仅当P和Q真值相同。

（3）命题公式与真值表：由命题变元、联结词和括号组成的合法表达式称为命题公式。真值表是列出命题公式所有变元真值组合及对应公式真值的表格，n个变元有2?种真值组合。

2.命题公式的分类与等价

（1）公式分类：①重言式（永真式）：所有真值组合下均为真（如P∨?P）；②矛盾式（永假式）：所有真值组合下均为假（如P∧?P）；③可满足式：至少存在一种真值组合使其为真（重言式是特殊的可满足式）。

（2）等价公式：若P?Q为重言式，则称P与Q等价，记为P?Q。常用等价定律：①双重否定律：??P?P；②交换律：P∧Q?Q∧P，P∨Q?Q∨P；③结合律：(P∧Q)∧R?P∧(Q∧R)，(P∨Q)∨R?P∨(Q∨R)；④分配律：P∧(Q∨R)?(P∧Q)∨(P∧R)，P∨(Q∧R)?(P∨Q)∧(P∨R)；⑤德摩根律：?(P∧Q)??P∨?Q，?(P∨Q)??P∧?Q；⑥蕴含等值式：P→Q??P∨Q；⑦等价等值式：P?Q?(P→Q)∧(Q→P)。

3.范式与主范式

（1）析取范式与合取范式：①析取范式：由有限个简单合取式（原子命题或其否定的合取）的析取组成；②合取范式：由有限个简单析取式（原子命题或其否定的析取）的合取组成。任何命题公式都可通过等价变换转化为析取范式或合取范式。

（2）主范式：①主析取范式：由所有极小项（含n个变元的简单合取式，每个变元及其否定仅出现一次）的析取组成，唯一且与公式的成真赋值一一对应；②主合取范式：由所有极大项（含n个变元的简单析取式，每个变元及其否定仅出现一次）的合取组成，唯一且与公式的成假赋值一一对应。主范式是判断公式等价、分类的重要工具。

4.命题逻辑的推理理论

（1）推理的形式结构：若前提集合{G?,G?,…,G?}推出结论H的推理正确，当且仅当G?∧G?∧…∧G?→H为重言式，记为G?,G?,…,G??H。

（2）常用推理规则：①前提引入规则：可随时引入前提；②结论引入规则：可随时引入已推出的结论；③假言推理规则：若P→Q和P为真，则Q为真；④拒取式规则：若P→Q和?Q为真，则?P为真；⑤析取三段论：若P∨Q和?P为真，则Q为真；⑥假言三段论：若P→Q和Q→R为真，则P→R为真；⑦合取引入规则：若P和Q为真，则P∧Q为真。

二、谓词逻辑

1.谓词与量词

（1）谓词：描述个体性质或个体间关系的词，分为一元谓词（如“x是偶数”，记为F(x)）和n元谓词（如“xy”，记为G(x,y)）。个体常元表示具体个体（如a=2），个体变元表示抽象个体（如x）。

（2）量词：①全称量词（?，“所有”）：?xF(x)表示“对所有个体x，F(x)为真”；②存在量词（?，“存在”）：?xF(x)表示“存在至少一个个体x，F(x)为真”。量词的辖域是量词所约束的谓词公式部分，约束变元是被量词约束的个体变元，自由变元是未被约束的变元。

2.谓词公式与解释

（1）谓词公式：由谓词、量词、个体变元、联结词和括号组成的合法表达式。

（2）解释：对谓词公式中的个体域、个体常元、谓词和函数进行具体赋值，以确定公式的真值。谓词公式的真值依赖于解释，不存在像命题公式那样的普遍真值（重言式等需结合解释定义）。

3.谓词逻辑的等价与推理

（1）常用等价式：①量词否定等价式：??xF(x)??x?F(x)，??xF(x)??x?F(x)；②量词辖域收缩与扩张等价式（如?x(F(x)∨G)??xF