Hi everyone,(adsbygoogle = window.adsbygoogle || []).push({});

Was hoping I could get some help with the following:

Note= ~ indicates the complement of

Prove that:

~Au~B= ~(AnB)

So far I have: Let x belong to ~Au~b then x belongs to ~A or x belongs to ~B.

If x belongs to ~A then x is not in A thus x is not in ~AnB so x belongs to ~(AnB).

If x belongs to ~B then x is not in B thus x is not in ~AnB so x belongs to ~(AnB)

I am having trouble going the other way because if x belongs to ~(AnB) then x is not in AnB, but does this mean it's not in AuB? When I picture AnB I see two circles that overlap each other (not completely), and that small part where they over lap, that is AnB. But if x is not in AnB, how can we say with certainty that it isn't in the Complement of AuB? Is it because the complement of AuB IS the intersection of A, B? Hope that makes sense!!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Set proofs

Loading...

Similar Threads - proofs | Date |
---|---|

I An easy proof of Gödel's first incompleteness theorem? | Mar 6, 2018 |

I Cantor's decimal proof that (0,1) is uncountable | Sep 27, 2017 |

A A "Proof Formula" for all maths or formal logic? | Apr 19, 2017 |

I Regarding Cantor's diagonal proof. | Feb 28, 2017 |

I Using symbolic logic in mathematical proof? | Jan 20, 2017 |

**Physics Forums - The Fusion of Science and Community**