|
Para provar que dois conjuntos são iguais (A==B),
vc tem
que provar :
1) A cont B e
2) B cont A
Prove que todo elemento de X inter (Y * Z) está contido
em (X inter Y)
* (X inter Z) e vice versa. Para isso
aplique a definição de *.
Deixo os detalhes para vc (o computador
consegue fazer
prova disso automáticamente, pois operações
com
conjuntos são isomórficas a operações com álgebra
booleana) ...
|