[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [obm-l] Conjuntos



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 =========================================================================