Re: [obm-l] Analise

["Eduardo Casagrande Stabel" <dudasta@xxxxxxxxxxxx>]

From: "Marcelo Souza" <marcelo_souza7@hotmail.com>
> 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 é <nicolau@mat.puc-rio.br>
=========================================================================