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