I'm confused about these problems. How would I prove?

and

The complement of the complement of A = A.

I drew a venn diagram, and I can see from the diagram that they are equal. I'm just not sure how to approach this from a proof standpoint.

Printable View

- Sep 23rd 2009, 11:08 PMabsvaluecomplement help
I'm confused about these problems. How would I prove?

and

The complement of the complement of A = A.

I drew a venn diagram, and I can see from the diagram that they are equal. I'm just not sure how to approach this from a proof standpoint. - Sep 24th 2009, 01:53 AMlepton
For both problems, show containment in both directions. I'll help get you started.

- Sep 24th 2009, 04:08 AMabsvalue
Thanks. :) So, would the other side be...

and and

and and

- Sep 24th 2009, 11:49 AMlepton
Not quite.

Remove your second statement, , as the third follows directly from the first. If you'd like to be precise, maybe replace with , your fourth statement.

Think about . Since isn't in a single of the three sets, then it cannot be in their union. So your fourth statement should be . This then implies is on the set you want.

I highly suggest writing out a sentence or two justification for each step; because x is in this set..., by this definition..., by this theorem..., ect. These ideas will keep reoccurring throughout math, but there will not always symbolic logical connections from each step to the next, it your job to convince not only the reader of your proof, but more importantly yourself, that what you have written down is right.

Hope this helps.

Have you done your second problem, ?