From: "Marcelo Souza" <[EMAIL PROTECTED]> > Oi pessoal, tudo bom? > Como eu faco pra provar formalmente: > - Dados dois conjuntos A e B, sobre X temos: > 1.X (contem) A e X(contem)B > 2. Se Y(contem)A e Y(contem)B => Y(contem)X > Prove que X=(AUB) > Obrigado > abracos > Marcelo
Oi Marcelo, De 1, temos X (contem) A e X (contem) B, o que implica X (contem) (A U B). Ponha Y = (A U B) em 2, como (A U B) (contem) A e (A U B) (contem) B, temos (A U B) (contem) X. Portanto X (contem) (A U B) e (A U B) (contem) X, ou seja, X = (A U B). Um abra�o! Eduardo Casagrande Stabel. Porto Alegre, RS. ========================================================================= 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 O administrador desta lista � <[EMAIL PROTECTED]> =========================================================================
