Re: [obm-l] Conjuntos

[Claudio Freitas <claudio_exatas@xxxxxxxxxxxx>]

Title:

a)

TESE:
  A C (AUB)
  = {qualquer x: xEA ==> xE(AUB) }
  = {qualquer x: ~xE(AUB) ==> ~xEA }
  = "Qualquer que seja x, temos que: *se* x não pertence a (AUB), *então* x não pertence a (A)."

HIP.: ~xE(AUB)
S1:   ~xE(AUB) = ~[ xEA ou xEB ]      (HIP. = S1)
S2:   ~[ xEA ou xEB ] = ~xEA e ~xEB   (S1 = S2)
S3:   ~xEA e ~xEB ==> ~xEA            (S2 ==> S3)
S4:   ~xE(AUB) ==> ~xEA               (HIP. ==> S3)
S5:   xEA ==> xE(AUB)                 (S4)
S6:   A C (AUB)                       (S5)

Q.E.D.



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