[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] CONJUNTOS



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/