Re: [obm-l] Conjuntos

[Claudio Freitas <claudio_exatas@xxxxxxxxxxxx>]

b)

Provar: (A inter B) c (A)

TESE.: (A inter B) c (A) = {qualquer x: xE(A inter B) ==> xEA} = "Se 
xE(A inter B), então xEA."
HIPÓTESE: xE(A inter B)
S1: xE(A inter B) = xEA e xEB
S2: xEA e xEB ==> xEA
S3: S1 ==> S2, logo xE(A inter B) ==> xEA
S4: (A inter B) c (A)

Abraços,
Claudio Freitas



admath admath escreveu:

> Provar (utilizando lógica matemática) que:
>  
> a) A está contido em (A U B),qualquer que seja A.
>  
> b) (A inter B) está contido em A, qualquer que seja A.
>  
> Obrigado.
>
> __________________________________________________
> Converse com seus amigos em tempo real com o Yahoo! Messenger
> http://br.download.yahoo.com/messenger/
>
> ------------------------------------------------------------------------
> Esta mensagem foi verificada pelo E-mail Protegido Terra 
> <http://mail.terra.com.br/>.
> Scan engine: McAfee VirusScan / Atualizado em 22/07/2005 / Versão: 
> 4.4.00 - Dat 4541
> Proteja o seu e-mail Terra: http://mail.terra.com.br/
>
>------------------------------------------------------------------------
>
>No virus found in this incoming message.
>Checked by AVG Anti-Virus.
>Version: 7.0.338 / Virus Database: 267.9.4/57 - Release Date: 22/7/2005
>  
>


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