O procedimento está correto, mas você se confundiu um pouco.
Observe o conjunto:
A - (A inter B) = {x E A e x ñE (A inter B)}
Se X E (A inter B), implica que: x E A e X E B
Por outro lado, se X ñE (A inter B), implica que: x ñE A ou X ñE B
Voltando ao seu problema, como x E A, se x ñE (A inter B) é porque x ñE B.
Logo:
A - (A inter B) = {x E A e x ñE (A inter B)} = {x E A e X ñE B} = A - B
abracos,
Felipe Nardes
From: Miguel Mossoro <[EMAIL PROTECTED]>
Reply-To: obm-l@mat.puc-rio.br
To: obm-l@mat.puc-rio.br
Subject: [obm-l] CONJUNTOS
Date: Fri, 9 Sep 2005 20:03:39 -0300 (ART)
Olá a todos.
Quero provar que A - B = A - (A inter B)
Usando o diagrama de venn é fica fácil. Entretanto, eu queria provar por
uma forma analítica. Eu cheguei ao seguinte resultado:
Partindo do 2º membro:
A - (A inter B) = {x | x E A e x ñE (A inter B) } = {x | x E A e (x ñE A e
x ñE B) } = vazio ???
Como é o procedimento para responder nesse estilo??
Agradeço antecipadamente,
Mossoro
__________________________________________________
Converse com seus amigos em tempo real com o Yahoo! Messenger
http://br.download.yahoo.com/messenger/
=========================================================================
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
=========================================================================
