Proofing the Equation: (A=B Union C & B ∩ C=Ø) => (A\B=C)

[Violet1]

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

Tnx!

 

[Evgeny.Makarov]

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 http://mathhelpboards.com/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]

Heh :D 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
.

 

[Violet1]

:(

Heh :D 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! :(

 

[mathbalarka]

Perhaps you could at least show us what approach you took?