Fala Samuel, Walter e Henrique,
> O estudante é criativo ,mas está enganado: una das leis da Igualdade diz que
> "qualquer coisa é igual a si própria", mas não diz que existe algo.
É Walter, mas se esta lei da igualdade está na lógica clássica, então tem uma
prova de duas linhas do argumento
Oi, Samuel
> Sim, ajudou no sentido de bagunçar mais, hehe, é assim mesmo a coisa.
Rsrsrs
> Esse predicado Sx que diz que x é conjunto, me parece algo mais de
> teoria de classes não ? Em que os objetos formalmente são classes e
> "alguns" objetos são conjuntos (os mais cuidadosamente construíd
Oi Henrique,
Obrigado.
Esse predicado Sx que diz que x é conjunto, me parece algo mais de teoria de
classes não ? Em que os objetos formalmente são classes
e "alguns" objetos são conjuntos (os mais cuidadosamente construídos, digamos).
Sim, ajudou no sentido de bagunçar mais, hehe, é assim mesm
Oi, Samuel e colegas
A minha impressão é que o aluno tinha razão, mas com as seguintes
qualificações: a teoria de conjuntos em questão tem de ser pura e
inclusiva, ou seja, não permitir domínios vazios.
Agora, se a teoria for impura, então o fato de Ex(x = x) ser um teorema
clássico não garante a
... interessante que esse axioma não aparece em outras teorias né... Bom,
talvez em outras teorias coloquem "disfarçado" nas definições.
Em alguns casos a teoria pressupõe de saída a existência de alguns elementos
(elemento neutro em grupos, vetor nulo em espaços vetoriais...
e aí os casos tri
Ola Samuel,
O estudante é criativo ,mas está enganado: una das leis da Igualdade diz
que "qualquer coisa é igual a si própria", mas não diz que existe algo.
O axioma de Kunen assevera a existência.
Abs,
W.
Em seg., 9 de out. de 2023 13:57, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> esc
Oi gente,
Aproveitando pra comentar da dúvida que eu apresentei na apresentação da
Lidia Batinga (que pro framework dela
deu pra ver que a resposta era "sim").
Aí, todo mundo pode dar aqui um pitaco que eu estou curioso com isso já faz
uns três anos.
Lá vai:
O primeiro axioma de Teoria dos Co
