Professional Documents
Culture Documents
6.3 Proof
6.3 Proof
then AUB
U
A B
U
exists B and AUB
Assume there
definition of set
1 AE U A By
subtraction
Given
2 U AIB
definition of subtraction
3 V A B By
from a universal set
this is contradiction
5 AUB U but a
is true
so the statement