Truth Tables APK 3.43 - Download grátis

Baixar APK

Última atualização: 14 de Nov de 2013

Informações do aplicativo

Table verdadeiro para lógica clássica e para vários sistemas não clássicos

Nome do aplicativo: Truth Tables

ID do aplicativo: at.ac.univie.phl.logik.android.truthtables

Classificação: 4.2 / 527+

Autor: Erpelstolz

Tamanho do aplicativo: 207.08 KB

Descrição detalhada

O único objetivo deste programa está gerando e exibindo tabelas de verdade.

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 as tabelas da verdade 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!

Baixar APK