离散数学第一章素材.ppt

例 2 证明 证明 若 则 且 ， 即 且 ， 因 此 ， 故 。 反之 若 ， 则 且 ， 即 且 ， 因此 。 故 。 由上证得， （2）利用已有的集合恒等式证明新的恒等式 例如 假设交换律、分配律、同一律和零一律都成立，则可以证明吸收律 也成立。 证明 （由同一律） （由分配律） （由交换律） （由零一律） （由同一律） 又例如 证明等幂律 证明 = =A (3)利用下一节介绍的集合成员表证明集合恒等式 D 若 ，则 A=B 练习1-3 1 设A、B、C是任意集合，判断下述论断是否正确，并将正确的题号填入括号内。 A 若 ，则 B=C B 若 ，则 B=C C 若A-B=A-C，则 B=C ( ) D 反例 设A= {a , b , c }, B={ b , d }, C={ c , d } 则 但 23页 2 设U={1，2，3，4，5}，A={2，4}，B={4，3，5}，C={2，5，3}，确定下列集合的元素，将其填入相应的花括号内。 (1) { } (2) { } (3) { } (4) { } (5} 2 1, 4 2, 3, 4, 5 4 3 设U表示刘平拥有的所有书的集合，，其中A是离散数学参考书的集合，B是操作系统参考书的集合，C是今年出版的新书的集合，D是从图书馆借来的书的集合。现知道如下情形： （1）所有离散数学参考书都是今年出版的新书。（ ） （2）所有操作系统参考书都是从图书馆借来的。（ ） （3）今年出版的新书不是从图书馆借来的。（ ） （4）没有一本操作系统的参考书是今年出版的。（ ） 3 1 5 7 试用集合的方法分别表示上述四种情形，可供选择的答案如下，请从下述答案中挑选出相应表达式的编号填入每一种情形后面的括号中。 2. 3. 4. 5. 6. 7. 4 判断下列论断是否正确，对正确的论断在相应题后的括号中标入“Y”，对错误的论断在相应题后的括号中标入“N”。 1） 若 ，则 （ ） 2） 若 ，则 （ ） 3） 若 ，则 （ ） 4） 若 ，则 （ ） 5） 若 ，则 ( ) 6） 若 ，则 ( ) 7） 若