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