# A Proof for a Conditional Statement

• Apr 11th 2010, 11:02 AM
loutja35
A Proof for a Conditional Statement
Use the element method for proving a set equals the empty set. Assume that all sets are subsets of a universal set U.

1.) For all sets A and B, if B subset of A compliment then A intersection B = the empty set.

2.) For all sets A, B, and C, if B subset C and A intersection C = the empty set then A intersection B = the empty set.
• Apr 11th 2010, 11:34 AM
Plato
Quote:

Originally Posted by loutja35
Use the element method for proving a set equals the empty set. Assume that all sets are subsets of a universal set U.

1.) For all sets A and B, if B subset of A compliment then A intersection B = the empty set.

2.) For all sets A, B, and C, if B subset C and A intersection C = the empty set then A intersection B = the empty set.

Here is what is expected using the element method.
If $\displaystyle x\in B$ then because $\displaystyle B\subseteq A^c$ then $\displaystyle x \notin A$.
Hence $\displaystyle x\notin A\cap B$ or $\displaystyle A\cap B=\emptyset.$

You try the next one.
• Apr 11th 2010, 11:38 AM
loutja35
I'm sorry, I still don't understand the proof behind this. Could you further explain?
• Apr 11th 2010, 11:45 AM
Plato
Quote:

Originally Posted by loutja35
I'm sorry, I still don't understand the proof behind this. Could you further explain?

First what exactly is meant by the element method?
I assumed it was the same an pick-a-point?

I personally think that this is best done by contradiction.