Re: [obm-l] Analise

[Augusto Cesar de Oliveira Morgado <morgado@xxxxxxxxxxxxxxx>]

AUB contem a e contem B; logo, por 2, AUB contem X
Por 1, X contem A e contem B; logo, X contem AUB.
Entao, X = AUB

Em Mon, 01 Jul 2002 14:40:21 +0000, Marcelo Souza <marcelo_souza7@hotmail.com> disse:

> 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
> 
> _________________________________________________________________
> Chat with friends online, try MSN Messenger: http://messenger.msn.com
> 
> =========================================================================
> 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>
> =========================================================================
> 
> 

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