O único propósito deste programa é gerar, e exibir, tabelas da verdade.
Esta versão livre suporta todos os conectivos usuais da lógica clássica, que é negação, conjunção, disjunção (inclusiva), conditonal (implicação material) e bicondicionante (equivalência material), bem como as constantes 1 e 0 denotando verdade e falsidade, respectivamente. Uma coisa legal é que, além da notação padrão um tanto chata da lógica, você pode usar a notação polonesa revestida de fluxo de Lukasiewicz, também.
E não para por aqui. Se você é o tipo de pessoa de bom senso, você vai achar reconfortante que, por padrão, o programa usa lógica clássica, de dois valores. Mas se você é mais do tipo aventureiro, nunca parando aquém de uma empresa, você ficará encantado em saber que o Truth Tables for Android suporta uma série de sistemas de lógica não clássicos e multivalorizados, também. Nunca entre em um rio duas vezes, e dois negativos não fazem uma afirmação, por assim dizer!
história da versão
- Versão 3.43 postado em 2013-11-14
* NAND e NOR são mais proeminentes para a maioria dos tamanhos de tela (solicitados por um usuário),* limpar layouts (por favor, relatar qualquer problema com dispositivos exóticos),* permitindo "*" e "+" para conjunção e disjunção, respectivamente (solicitado por um usuário),* opcionalmente mostrando linhas separadoras entre as colunas principais (solicitadas por um usuário),* teclado na tela opcionalmente mostrando as letras proposicionais A, B, C,... em vez de P, Q, R,... (solicitado por um usuário) - Versão 2.101 postado em 2011-05-02
Várias correções e atualizações
Detalhes do programa
- Categoria: Educação > Ferramentas de Ensino & Treinamento
- Editor: Erpelstolz
- Licença: Livre
- Preço: N/A
- Versão: 3.43
- Plataforma: android