apete.
>
>
> - Mensagem original -
> De: "Henrique Antunes"
> Para: "samuel"
> Cc: "LOGICA-L" , "Joao Marcos"
> Enviadas: Segunda-feira, 9 de outubro de 2023 14:31:23
> Assunto: Re: [Logica-l] Re: Mesa de Filosofia da lógic
ado que
empurra toda a discussão pra baixo do tapete.
- Mensagem original -
De: "Henrique Antunes"
Para: "samuel"
Cc: "LOGICA-L" , "Joao Marcos"
Enviadas: Segunda-feira, 9 de outubro de 2023 14:31:23
Assunto: Re: [Logica-l] Re: Mesa de Filosofia d
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
gunda-feira, 9 de outubro de 2023 14:10:00
Assunto: Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica
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
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>
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