自考离散数学 0232430 条考前必背口诀（精简保命版）.docxVIP

自考离散数学0232430条考前必背口诀（精简保命版）

一、数理逻辑（选择+计算必考）

蕴含式A→B：前真后假为假，其余都真

A→B等值：?A∨B

重言式：真值全1

矛盾式：真值全0

主析取：极小项∨，成真赋值

主合取：极大项∧，成假赋值

全称符号化：?x(A→B)

存在符号化：?x(A∧B)

命题推理：P前提，T引用，CP证蕴含

量词否定：?????，?????

二、集合与关系（必背）

元素vs子集：∈是元素，?是集合

幂集个数：|P(A)|=2?

自反：对角线全1

对称：有去必有回

反对称：无双边（除环）

传递：一步能到就直达

等价关系：自反+对称+传递

偏序关系：自反+反对称+传递

自反闭包r(R)：加环I_A

对称闭包s(R)：加反向边

传递闭包t(R)：加所有可达边

三、函数（秒判）

单射：不同x→不同y

满射：每个y都有x

双射：单射+满射?有逆函数

四、图论树（计算大题）

握手定理：总度数=2×边数

无向树：连通无回路，m=n-1

欧拉图：无奇度顶点

平面图欧拉公式：n-m+r=2

哈夫曼树：每次合并两个最小

WPL：权值×路径长度之和