Demostración parcial: Sean A y B conjuntos arbitrarios. Entonces A ฀ B B ฀ A A Bc B Ac por la ley del conjunto diferencia A Bc B Ac por la ley asoc...

Demostración parcial: Sean A y B conjuntos arbitrarios. Entonces A ฀ B B ฀ A A Bc B Ac por la ley del conjunto diferencia A Bc B Ac por la ley asociativa para A B Bc por la ley conmutativa para A por la ley del complemento para por la ley de cota universal para