离散数学--总复习..docVIP

第一部分：集合论 知识点： 集合关系（?，?,?,?,） 集合运算（并、交、差、对称差、补集、幂集）， 特殊集合（?，E，PA） 集合恒等式（幂等律、交换律、结合律、分配律、吸收律、德摩根律、补交转换律A-BA?~B、德·摩根律~BèC~B~?C，A-BèCA-B?A-C） 证明集合包含或相等（根据定义, 通过逻辑等值演算证明、利用已知集合等式或包含式, 通过集合演算证明） 1. 证:AèB?CAèB?AèC 证 x x?AèB?Cx?Aúx?Bù x?C并,交的定义x?Aúx?Bùx?Aúx?C 逻辑演算的分配律x?AèB?AèC2. 证明 A-B-CA-C-B-C 证 A-C-B-CA ? ~C ? ~B ? ~C补交转换律A ? ~C ? ~B è ~~C德摩根律A ? ~C ? ~B è C双重否定律A ? ~C ? ~B èA ? ~C ? C分配律A ? ~C ? ~B èA矛盾律A ? ~C ? ~B零律,同一律A ? ~B ? ~C交换律,结合律A – B – C第二部分：逻辑学 命题的定义（凡具有确定真假意义的陈述句均称为命题。） 联结词（?、∧、∨、?、?、?、?（公式转化为只含?、?的表达形式）） 例：将p ? q化为只含?的公式 p ? q ??p ?q??p∧?q ? p??q?p?? q∧q ? p? q? q 命题符号化1、王晓虽