1-) Provar que A C (AUB), para todo A.
x pertence a A => ( x pertence a A ou x pertence a B)
é uma implicação verdadeira para todo x, portanto A C (AUB).
2- Provar que (A inter B) C A, para todo A.
x pertence a ( A inter B) => (x pertence a A e x pertence a B) => x pertence a A
é uma implicação verdadeira para todo x, portanto (A inter B) C A.
Chegou o que faltava: MSN Acesso Grátis Instale Já! ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================