Oi Daniel. Fantástico!
Você poderia disponibilizar também o código? E, se possível, os prompts que você usou para que a inteligência gerativa gerasse esse código. []s On Sun, Jul 13, 2025 at 7:43 PM Daniel Durante <[email protected]> wrote: > Colegas, > > Não escrevo uma linha de código desde o milênio passado, mas estava vendo > meus alunos sofrerem com as opções disponíveis online de calculadoras > lógicas proposicionais. É que pedi, como tarefa, para eles resolverem, via > formalização de argumentos, algumas charadas ao estilo dos livros do > Smullyan, e as tabelas ficam bem grandes. A tarefa é simbolizar (programar) > e não resolver tabelas de verdade. > > Então usei os robozinhos programadores do Google e pedi para eles fazerem > uma para mim. Deu certo. Não sei a que custo ambiental! > > Tinha que funcionar tanto em computadores quanto em celulares, porque > computadores estão caindo em desuso entre a meninada. > > Não é uma brastemp, mas resolveu meus problemas. Deixo aqui o link disponível > para quem quiser usar e aperfeiçoar. > > https://chimerical-melomakarona-514190.netlify.app/ > > Saudações, > Daniel. > ----- > Departamento de Filosofia - (UFRN) > http://danieldurante.weebly.com > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito 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 ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/E25D0052-EC1D-41EA-A1E0-55CFC20F695C%40gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/E25D0052-EC1D-41EA-A1E0-55CFC20F695C%40gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME-USP http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 Instituto de Matemática e Estatística, Universidade de São Paulo Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP -- 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 ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0WO3eu4VWu94nhKzGGa9BT7RYLEPcwxLaxUy0nHfprDw%40mail.gmail.com.
