Obrigado pelas respostas, pessoal. Gostei do gerador da Stanford, porque ele é bem flexível nas expressões que aceita como entrada. Aceita várias notações diferentes para os operadores, é flexível com os os parênteses, aceita variáveis com índices numéricos,... e isso facilita a vida dos estudantes. Mas ele só faz uma sentença por vez. Pelo menos não descobri como fazer tabelas de verdade para grupos de sentenças nele.
Já o gerador do Michael Rieppel aceita múltiplas sentenças, mas é mais rígido nas expressões que aceita. Não flexibiliza os parênteses, não aceita índices nas variáveis e exige que os operadores estejam na sua notação. De todo modo, obrigado pelas sugestões. Estou ensinando meus estudantes de filosofia a programar em PROLOG. Mas eu não posso contar pra eles que eles estão aprendendo a programar, porque senão eles perdem o interesse. Então eu uso geradores de tabelas de verdade como compiladores PROLOG rudimentares. Saudações, Daniel Em segunda-feira, 7 de fevereiro de 2022 às 18:06:14 UTC-3, diegol...@gmail.com escreveu: > Boa tarde. > > Eu uso este aqui, Daniel. > > Mas nunca testes tabelas com tantas variáveis, kkkkk. > > > https://web.stanford.edu/class/archive/cs/cs103/cs103.1156/tools/truth-table-tool/ > > Em seg., 7 de fev. de 2022 às 17:06, Adolfo Neto <ado...@utfpr.edu.br> > escreveu: > >> Eu gosto muito deste do Michael Rieppel mas não sei se satisfaz seu >> requisito >> https://mrieppel.net/prog/truthtable.html >> >> On Mon, Feb 7, 2022, 16:10 Daniel Durante <dura...@gmail.com> wrote: >> >>> Colegas, >>> >>> Alguém conhece um gerador de tabelas de verdade, de preferência on-line, >>> simples de usar (com interface gráfica) que seja robusto o suficiente para >>> gerar tabelas conjuntas para grupos de sentenças com 6 variáveis (64 >>> linhas)? >>> >>> Eu tenho usado, com meus estudantes, o "The Logic Calculator" ( >>> www.votsis.org/logic), que dá para instalar no celular e tem o jeitão >>> de uma calculadora. Ele até aceita 6 variáveis e múltiplas sentenças na >>> mesma tabela, mas tem uma limitação de quantidade de caracteres das >>> sentenças que é menor do que o necessário para alguns exercícios que passei >>> para meus estudantes. >>> >>> Obrigado, >>> Daniel. >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica <logi...@dimap.ufrn.br> >>> --- >>> 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 logica-l+u...@dimap.ufrn.br. >>> Para ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c8ad7cdd-66ac-4189-9660-a78f184964c8n%40dimap.ufrn.br >>> >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c8ad7cdd-66ac-4189-9660-a78f184964c8n%40dimap.ufrn.br?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <logi...@dimap.ufrn.br> >> --- >> 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 logica-l+u...@dimap.ufrn.br. >> > Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGfeFY-WZum2vZpLrDDa2Ng06PUJ6pOKjX%3DyXUQm94rVVw%40mail.gmail.com >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGfeFY-WZum2vZpLrDDa2Ng06PUJ6pOKjX%3DyXUQm94rVVw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- 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/29923be0-33c2-47b6-a114-20d55fbc6b0an%40dimap.ufrn.br.
