RE: [obm-l] CONJUNTOS

["Felipe Nardes" <felipe_nardes@xxxxxxxxxxx>]

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 <m_mossoro@yahoo.com.br>
>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
=========================================================================