How would you prove that

(A/B) U B = A if and only if B C A ?

It's the iff that is giving me problems. Is there a technique for this type of proof?

Printable View

- Jan 13th 2012, 09:16 AMCairoHow would you prove...
How would you prove that

(A/B) U B = A if and only if B C A ?

It's the iff that is giving me problems. Is there a technique for this type of proof? - Jan 13th 2012, 09:30 AMPlatoRe: How would you prove...
- Jan 13th 2012, 09:49 AMprincepsRe: How would you prove...
- Jan 13th 2012, 10:34 AMCairoRe: How would you prove...
- Jan 13th 2012, 10:38 AMCairoRe: How would you prove...
Would this not be A, Plato?

I was thinking of relabelling (B C A) as D and ((A/B) U B = A) as E and then trying to argue D implies E and also that ~D implies ~E, but not sure if this would work or even where to start. - Jan 13th 2012, 12:55 PMPlatoRe: How would you prove...
- Jan 13th 2012, 11:51 PMCairoRe: How would you prove...
- Mar 5th 2012, 02:04 AMpsolakiRe: How would you prove...