Table verdadeiro para lógica clássica e para vários sistemas não clássicos
O único objetivo deste programa está gerando e exibindo Truth Tables .
Esta versão gratuita suporta todos os conectivos habituais da lógica clássica, que é negação, conjunção, disjunção (inclusiva), conditonal (implicação material) e bicondicional (equivalência material), bem como as constantes 1 e 0 denotando a verdade e a falsidade, respectivamente. Uma coisa legal é que, além da notação padrão um tanto chata de lógica, você também pode usar a notação polonesa brilhante e revestida de fluxo de Lukasiewicz.
E não para aqui. Se você é o tipo de pessoa que se destaca e com o senso comum, encontrará tranquilizador que, por padrão, o programa use lógica clássica, de dois valores. Mas se você é mais do tipo aventureiro, nunca parando de uma empresa, ficará encantado ao saber que Truth Tables para o Android também suportam vários sistemas de lógica não clássicos e com vários valores. Nunca entre em um rio duas vezes, e dois negativos não fazem uma afirmação, por assim dizer!
Download