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/E25D0052-EC1D-41EA-A1E0-55CFC20F695C%40gmail.com.
