# proof equation

#### Violet

##### New member
Hi! I need help for this:
Proof equation: (A=B union C and B intersect C=empty set)=>(A\B=C)!

Tnx!

#### Evgeny.Makarov

##### Well-known member
MHB Math Scholar
Hi and welcome to the forum.

What kind of help do you need? Surely you understand that if you take all women from a group of adults, you'll get all men and only men.

Please take some time to read the forum rules, especially rule #11. Also, what you are proving is not an equation; it's a statement (claim, proposition, theorem) in the form of an implication. Finally, "proof" is a noun, and the corresponding verb is "prove".

#### mathbalarka

##### Well-known member
MHB Math Helper
Heh Perhaps Evengy overdid it a bit.

Okay, try drawing the Venn diagram. What do you observe? Do you see how obvious it is? Can you now sketch out a formal proof?

Balarka
.

#### Violet

##### New member
Heh Perhaps Evengy overdid it a bit.

Okay, try drawing the Venn diagram. What do you observe? Do you see how obvious it is? Can you now sketch out a formal proof?

Balarka
.
Thanks Balarka! When I draw Venn diagram, everything is clear! But I can't sketch out a formal proof!

Last edited by a moderator:

#### mathbalarka

##### Well-known member
MHB Math Helper
Perhaps you could at least show us what approach you took?