Truth Tables

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!

O que há de novo na versão mais recente 3.43