Olá Ralph! Olá Nehab!
Eu também li, em especial a versão prolixa (que, aliás, está bem legal) e
gostei!
Posso apenas complementar que, na verdade, a Teoria dos Conjuntos não
proíbe que um conjunto tenha como elemento a si próprio. De fato, é
possível construir teorias dedutíveis (p.ex.,
Olá Henrique,
a diferença entre par ordenado e conjunto é que o par ordenado (a, b) é
diferente do par ordenado (b, a), mas o conjunto { a, b } é igual ao
conjunto { b, a }.
A representação do par ordenado em conjuntos é: (a, b) = { {a}, {a, b} },
pois, veja que a representação de (b, a) seria { {b
Ainda não entendi. Pelo que foi passado pelo Artur, a igualdade seria (a, b)
= { {a}, {a, b} }, ou seja, um conjunto onde os elementos são outros dois
conjuntos, um contendo o elemento a e outro contendo a, b, e não como você
citou (a, b) = {a, {a, b} }. Mas mesmo assim, como é a relação entre um p
Bem, a propriedade que impomos para ser um par ordenado é: par{a , b } = par
{c , d } se, e somente se,
a=c e b=d, esta é a parte "ordenando". Agora como se fundamenta toda a
matemática na Teoria dos Conjuntos
o natural é procurar uma definição de par ordenado como um certo conjunto. É
exatame
4 matches
Mail list logo
