自考 02324 离散数学 重点精简背诵版.docxVIP

自考02324离散数学重点精简背诵版

这份资料为自考考前速记、直接背诵版，覆盖命题逻辑、谓词逻辑、集合、关系、函数、图论、树、代数系统、组合与数论基础，包含定义、定理、公式、判定方法、常考结论，适配单选、多选、填空、证明、计算、简答题型，无冗余内容。

一、命题逻辑（选择+计算+证明高频）

1.基本概念

命题：具有唯一真值的陈述句，分原子命题（不可再分）、复合命题（联结词联结）。

联结词（必考符号与含义）：

否定?：非P

合取∧：P且Q，同真为真

析取∨：P或Q，同假为假

异或∨：排斥或，一真一假为真

蕴含→：若P则Q；只有P真Q假时为假

等价?：P当且仅当Q；同真同假为真

2.命题公式分类

设A为命题公式：

重言式（永真式）：所有赋值下均为真

矛盾式（永假式）：所有赋值下均为假

可满足式：至少一组赋值为真

3.等值式与范式

重要等值式（直接套用）：

蕴含等值式：A→B??A∨B

等价等值式：A?B?(A→B)∧(B→A)

德摩根律：?(A∧B)??A∨?B，?(A∨B)??A∧?B

假言易位：A→B??B→?A

文字：原子命题或其否定

简单合取式：文字合取；简单析取式：文字析取

析取范式：简单合取式的析取

合取范式：简单析取式的合取

主析取范式：极小项（成真赋值对应二进制编号）的析取

主合取范式：极大项（成假赋值对应二