O único propósito deste programa é gerar e exibir tabelas de verdade.
Esta versão gratuita suporta todos os conetivos habituais da lógica clássica, que é a negação, a conjunção, a disjunção (inclusiva), a disjunção conditonal (implicação material) e a biconditional (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 pouco aborrecida da lógica, você pode usar a notação polaca revestida por riachos e brilhantes de Lukasiewicz, também.
E não fica por aqui. Se você é o tipo de pessoa de senso comum, você vai achar reconfortante que, por defeito, o programa usa a lógica clássica, de dois valores. Mas se você é mais do tipo aventureiro, nunca parando parando aquém de uma empresa, você ficará encantado ao saber que as Tabelas de Verdade para Android também suportam uma série de sistemas de lógica não clássicos e multi-valorizados. Nunca entre num 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 ecrã (solicitados por um utilizador)* limpeza layouts (por favor reporte qualquer problema com dispositivos exóticos),* permitindo "*" e "+" para conjunção e disjunção, respectivamente (solicitado por um utilizador),* mostrando opcionalmente linhas separadores entre colunas principais (solicitadas por um utilizador)* teclado no ecrã, mostrando opcionalmente as letras propostas A, B, C,... em vez de P, Q, R,... (solicitado por um utilizador) - 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 e Formação
- Editor: Erpelstolz
- Licença: Grátis
- Preço: N/A
- Versão: 3.43
- Plataforma: android