Suspeito que ele possa ter se confundido com textos que apresentem a formalização com quantificadores generalizados. Então juntou tudo e fez uma grande confusão.
Alexandre On Fri, 17 Nov 2023 at 09:23 Alexandre Rademaker <[email protected]> wrote: > > Verdade João, não prestei a devida atenção. Bem mais sério, mostra como o > modelo não sabe nada sobre a semântica da linguagem formal. > > Alexandre > > On Fri, 17 Nov 2023 at 08:46 Joao Marcos <[email protected]> wrote: > >> Não é só isso, né? Mesmo a "leitura em voz alta", pouco _natural', pode >> ser corrigida pelo próprio ChatGPT se o usuário assim o pedir. Mas nada >> justifica ele escrever "para todo cisne x, se x é um cisne..." >> >> []s, JM >> >> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGkfTga1bdNR78mZHnsky_nN4L92_wuMjCDx-8LvAJEmJRv53A%40mail.gmail.com.
