Construtor de Tabelas de Verdade e Inspetores de Circunstâncias

Para introduzir fórmulas use o teclado e recorra aos seguinte símbolos para as várias conectivas lógicas:

~ & v > < >
negação conjunção disjunção condicional bicondicional
Selecione o tipo de tabela:
Tabela completa
Apenas conetiva principal
Formato de Texto
Formato \(\LaTeX\) e MathJax

[ Instruções ]

Este é um software que constrói automaticamente tabelas de verdade a partir de uma dada fórmula bem-formada da lógica proposicional. Também permite construir inspetores de circunstâncias com a introdução de várias fórmulas separadas por vírgulas, sendo a última fórmula a ser introduzida a conclusão e as restantes as premissas. Nesse caso se existir pelo menos uma circunstância (linha) em que todas as premissas são verdadeiras e a conclusão é falsa, então a forma argumentativa em avaliação é inválida. Caso contrário, é válida. As tabelas ou inspetores podem ser apresentadas em html, texto, MathJax ou \(\LaTeX\) (para compilar poderá ser necessário acrescentar ao código \usepackage{xcolor}), podendo ser copiados para qualquer documento.

Aqui estão alguns exemplos de fórmulas bem-formadas que o software aceita:

Este software foi adaptado a partir do código fonte disponibilizado pelo filósofo Michael Rieppel.

 


🏠Início - 🎓Sobre - 📚Publicações - 💬Palestras - 📃Blog - 🔧Ferramentas - ✉️Contactos - 🔒 Reservado - 📅 2019