自考《离散数学 02324》【高频考点速记清单・精简背诵版】.docxVIP

自考《离散数学02324》【高频考点速记清单?精简背诵版】

考前直接背，选择、填空、计算、证明稳拿分。

一、数理逻辑（必考30%）

1.命题逻辑

五个联结词：?∧∨→?

重言式：真值全1

矛盾式：真值全0

可满足式：至少一个1

常用等值式（必背）

双重否定：??A?A

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

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

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

范式

主析取范式：极小项之和，全成真赋值

主合取范式：极大项之积，全成假赋值

推理规则

P规则：前提引入

T规则：中间结论引入

CP规则：证明A→B，先把A当前提

2.谓词逻辑

全称量词?，存在量词?

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

推理规则：US、UG、ES、EG

二、集合论（必考25%）

1.集合

幂集P(A)：所有子集，|P(A)|=2?

集合运算：∪∩?~⊕

交换律、结合律、分配律、吸收律、德摩根律

2.二元关系（重中之重）

关系性质

自反：?x,xRx

反自反：?x,?xRx

对称：xRy→yRx

反对称：xRy∧yRx→x=y

传递：xRy∧yRz→xRz

闭包

r(R)：自反闭包

s(R)：对称闭包

t(R)：传递闭包

特殊关系

等价关系：自反+