On Mon, 7 Feb 2022 at 20:32, Joao Marcos <botoc...@gmail.com> wrote: > > O jeito que você escreveu está correto: > > (∃x) ↔ (x=x) ↔ (x∈x) > > > >> Então se x é o conjunto vazio vale x∈x? > >> Isso é muito diferente das lógicas que eu conheço... > > Com efeito. Um outro possível probleminha é que "(∃x) ↔ ψ" não é uma > expressão bem-formada em lógica de primeira ordem, não importa qual > seja a fórmula ψ. > > JM >
Léo, posso te dar uma sugestão? Nos últimos semestres eu tive vários alunos que tinham boas idéias a respeito de como provar coisas, mas que escreviam as idéias deles numa notação matemática toda improvisada... aí eu acabei escrevendo isso aqui a me referindo a esse slide zilhões de vezes durante o curso: http://angg.twu.net/LATEX/2021-2-C2-intro.pdf#page=4 http://angg.twu.net/LATEX/2021-2-C2-tudo.pdf#page=5 Acho que do jeito que o seu livro está muita gente vai reagir a ele como se você fosse a pessoa que diz: "Sabemos que 2=3. Então..." A minha sugestão é que você disponibilize o seu livro em PDF e crie um blog sobre ele e sobre o processo de preparar uma nova edição dele "que todo mundo aceite", onde esse "todo mundo" inclua as pessoas que estão acostumadas com as lógicas que são mais usadas por aí, e que vão encarar a lógica do seu livro como uma lógica bem atípica... Tem alguns sinais no seu índice de símbolos que eu adoraria ver como você define e usa, mas só eu puder ler sobre eles de graça... =) [[]], Eduardo Ochs http://angg.twu.net/ http://angg.twu.net/math-b.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6jC6msptTsCxCTEXOKFhzMso3nLrNk4qgwvAJAg6%2BkDxA%40mail.gmail.com.
