Olá, Daniel. Bastante útil. Obrigado por compartilhar!
Saudações, -- Hermógenes Oliveira Em domingo, 13 de julho de 2025 às 19:43:46 UTC-3, [email protected] escreveu: 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ê 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/5b2fca8c-22d3-405c-a206-9600ece19b78n%40dimap.ufrn.br.
