The Logic Calculator

Este aplicativo gratuito permite que os usuários da lógica proposicional realizem operações com a mesma facilidade que a oferecida por uma calculadora matemática. Facilita os alunos de lógica, fornecendo feedback considerável. Para ser preciso, usando este aplicativo, é possível determinar se: (1) a entrada é bem formada e, se não, por que não, (2) as sentenças são tautologias, contradições ou contingentes, (3) os conjuntos de sentenças são consistentes ou inconsistentes e (4) argumentos são válidos ou inválidos. Também produz tabelas verdadeiras que podem ser copiadas para outros aplicativos. A partir desta versão, a calculadora está restrita a operações semânticas.