自考 离散数学 02324 最常考的 10 类大题模板.docxVIP

自考离散数学02324最常考的10类大题模板

一、求命题公式的主析取、主合取范式（必考）

步骤模板：

消去→、?A→B??A∨B

把?移到命题变元前（德摩根）

用分配律展开

补缺少的变元：P?P∧(Q∨?Q)

合并极小项→主析取范式合并极大项→主合取范式

口诀：主析取＝成真赋值；主合取＝成假赋值。

二、命题逻辑推理证明（必考）

答题模板：

前提引入（P规则）

由前面式子用等值/蕴含得到新式（T规则）

要证A→B：把A当附加前提，证B→CP规则

常考结论：

P→Q,?P?Q

P→Q,??Q??P

三、谓词逻辑符号化（必考题）

万能句式：

所有A都是B：?x(A(x)→B(x))

有的A是B：?x(A(x)∧B(x))

量词否定：??xA??x?A??xA??x?A

四、求幂集、集合运算、笛卡尔积

幂集：所有子集构成的集合∣A∣=n?∣P(A)∣=2n

并∪、交∩、差?、对称差⊕

笛卡尔积：A×B={(a,b)∣a∈A,b∈B}

五、判断二元关系的5个性质（高频）

给关系图/矩阵，直接看：

自反：对角线全1

反自反：对角线全0

对称：矩阵对称

反对称：i=j，不同时1

传递：a→b,b→c?a→c

结论直接写：“该关系具有自反、对称、传递性，是等价关系”或“自反、反对称、传递，是偏序关系”

六、求自反/