( A - B ) U ( B - A ) = ( A U B ) - ( A inter B )
( A inter B' ) U ( B inter A' ) = ( A U B ) inter ( A inter B )'
Pelo diagrama de euler-venn verifiquei que está correto, mas gostaria de saber se isso é identidade?
2º) Na resposta do Gabriel,
seja x em AUB-AinterB, logo x está em AUB e x nao está em AinterB
ou seja x está em A ou x está em B, mas x nao está em AinterB.
suponha x em A, como x nao está em AinterB, entao x nao está em B logo x está em A-B => x está em (A-B)U(B-A) (se x está em D entao x está em D U C para todo C)
Eu não entendi essa implicação...
Quanto a do Quwert Smith entendi.
P.S.: Desculpem-me se minha forma de escrever (citando nomes, etc) foi inadequada, ou se de alguma forma constrangiu alguém.
[]´s
Nelson
