Pelo que vi na página 30 do documento citado pelo Vinícius, o x é um conjunto que representa um elemento de um outro conjunto. Por isso, x ∉ x foi utilizado como propriedade.
Até onde sei, na teoria de conjuntos não são utilizados os símbolos de pertinência ∈ e ∉ entre elementos que não sejam conjuntos. Em 22 de dezembro de 2010 01:23, Bruno França dos Reis <bfr...@gmail.com> escreveu: > Hugo, sobre toda a sua afirmação no seu email anterior, ou eu não entendi, > ou eu não concordo. > Qual é o problema de se escrever x∉x ou x∈x? Vou te dar um exemplo em que o > primeiro caso é perfeitamente válido. > Seja ∅ o conjunto vazio, definido axiomaticamente em ZFC por ∃∅∀x ¬(x∈∅), o > que é equivalente a ∃∅∀x (x∉∅). Para esse conjunto vazio, vale que ∅∉∅. > Poderia explicar melhor o que vc quis dizer? > -- > Bruno FRANÇA DOS REIS > > msn: brunoreis...@hotmail.com > skype: brunoreis666 > tel: +55 11 9961-7732 > > http://brunoreis.com > http://brunoreis.com/tech (en) > http://brunoreis.com/blog (pt) > > GPG Key: http://brunoreis.com/bruno-public.key > > e^(pi*i)+1=0 > > > 2010/12/21 Hugo Fernando Marques Fernandes <hfernande...@gmail.com> >> >> A relação de pertinência relaciona um elemento a um conjunto. Assim, não >> há propriedade em escrever x∉x, pois estaríamos usando a relação de >> pertinência para relacionar dois elementos. >> >> []'s >> >> Hugo >> >> Em 21 de dezembro de 2010 12:45, Vinícius Harlock <cortes...@gmail.com> >> escreveu: >>> >>> É possível criar por meio do axioma da especificação um conjunto B={x ∈ >>> A; x∉x}? Esse conjunto seria um conjunto vazio assim como C={x ∈ A; x >>> diferente x}? > > -- Henrique ========================================================================= Instru��es para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================
