Construtor de Tabelas de Verdade e Inspetores de Circunstâncias

Para introduzir fórmulas use o teclado, utilizando a vírgula (,) para separar proposições, o símbolo de dois pontos (:) para a conclusão, e recorra aos seguinte símbolos para as conectivas lógicas:

~	^	v	w	>	< >
negação	conjunção	disj.inc.	disj.exc.	condicional	bicondicional

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 premissas separadas por vírgulas e a conclusão introduzida com o símbolo de dois pontos. 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:

~P
(P^Q)
(P>Q), P : Q
(P>Q), Q : P
~(P^Q), P : ~Q
(P<>(QvR)), R : (~Q>R)
(PwQ), ~(P<>Q) : ((PvQ) ^ ~(P^Q))

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