离散数学--总复习.doc

第一部分：集合论 知识点： 集合关系（(，(,(,(,=） 集合运算（并、交、差、对称差、补集、幂集）， 特殊集合（(，E，P(A)） 集合恒等式（幂等律、交换律、结合律、分配律、吸收律、德摩根律、补交转换律(A-B=A(~B)、德·摩根律((B(C)=(B((C，A((B(C)=(A(B)((A(C)） 证明集合包含或相等（根据定义, 通过逻辑等值演算证明、利用已知集合等式或包含式, 通过集合演算证明） 1. 证:A((B(C)=(A(B)((A(C) 证 (x x(A((B(C) ( x(A((x(B( x(C) (并,交的定义) ((x(A(x(B)((x(A(x(C) (逻辑演算的分配律) (x((A(B)((A(C) 2. 证明 (A-B)-C=(A-C)-(B-C) 证 (A-C)-(B-C) = (A ( ~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、王晓虽然聪明，但不用功. 2、张辉与王丽都是三好生. 3、张辉与王丽是同学.4、除非天冷，小王才穿羽绒服. 5、除非小王穿羽绒服，否则天不冷.) 等值演算（幂等律、交换律、结合律、分配律、吸收律、 蕴涵等值式A(B( (A(B 等价等值式 A(B((A(B)((B(A) 假言易位等值式 A(B( (B( (A 等价否定等值式 A(B( (A( (B） 证明 p((q(r) ( (p(q)(r 证 p((q(r) ( (p(((q(r) （蕴涵等值式） ( ((p((q)(r （结合律） ( ((p(q)(r （德摩根律） ( (p(q) (r （蕴涵等值式） 判断下列公式的类型 q(((p(q) 解 q(((p(q) ( q((((p(q) （蕴涵等值式） ( q((p((q) （德摩根律） ( p((q((q) （交换律，结合律） ( p(0 （矛盾律） ( 0 （零律） 该式为矛盾式. 命题公式（重言式、矛盾式、可满足式）， 利用真值表判断，等值演算，范式。 范式（析取范式、合取范式） 求 (p((p(q((r)的主合取范式和主析取范式 解 (p ( ((p(q(r)(((p(q((r)(((p((q(r)(((p((q((r) ( M4(M5(M6(M7 p(q((r ( M1 得 (p((p(q((r)( M1(M4(M5(M6(M7 ( ((1,4,5,6,7) ( ((0,2,3) 主析取范式的用途: (1) 求公式的成真赋值和成假赋值 例如 ((p(q)((r ( m0( m2( m4 (m5 ( m6 成真赋值: 000,010,100,101,110; 成假赋值: 001,011,111 (2) 判断公式的类型 B ( ( p((p(q) ( 1 ( m0(m1(m2(m3 重言式 (3) 判断两个公式是否等值 p与((p(q)((p(q) 解 p ( p(((q