Editor ACBF.
Um código aberto e editor livre para a especificação avançada do formato de quadrinhos (ACBF) ...
 | Proofools.Este projeto fornece um aplicativo gratuito e de plataforma cruzada para gerar árvores de prova |
| Baixe Agora | |
Proofools. Classificação e resumo
Propaganda
Proofools. Tag
Proofools. Descrição
Prooftools é um aplicativo gráfico grátis escrito em GTK + e QT, e projetado para ser usado para geração automática e gráfica de tableaux semântica, também conhecido como provas, tableaux analítico ou árvores semânticas. O aplicativo pode ser usado para testar se um argumento ou prova é dedutivo, ou se uma fórmula é uma verdade lógica. Prooftools é capaz de validar um propositativo, um predicado e um argumento lógico modal ou verdade lógica usando o método de prova de prova. Prooftools é um aplicativo independente de plataforma que suporta sistema operacional Linux, Microsoft Windows e Mac OS X. Binários para GTK e QT são fornecidos na seção de download acima, suportando arquiteturas de 32 bits e 64 bits.
Proofools. Software Relacionado