In order to prove two sets are equal, there are two methods commonly used.
The first is to show that each set is a subset of the other. That is, if
and then *A*=*B*. The methods of the previous
section apply here.
The second method is to use an algebraic approach based
on Boolean Algebra.
If in doubt as
to which method to use, the rule of thumb is to prove each set a subset of the
other. The Boolean algebra method requires knowing the axioms and elementary
results. To illustrate this method, consider how to prove one of De Morgan's
laws . It relies on the following
result namely "If and where *U* is the
universal set, then ".
You may wish to try and prove this result
from the axioms of Boolean algebra. We also make use of the more obvious
results " " and " ".
Anyway, let's continue with establishing
De Morgan's law.

This establishes the first part of what we need to prove. To complete the proof we look at the intersection of the sets.

Wed Aug 21 23:10:39 PDT 1996