The Logic Calculator

Esta aplicación gratuita permite a los usuarios de lógica proposicional realizar operaciones con la misma facilidad que la que ofrece una calculadora matemática. Facilita a los aprendices de lógica al proporcionar una retroalimentación considerable. Para ser precisos, utilizando esta aplicación, se puede determinar si: (1) la entrada está bien formada y, de no ser así, por qué no, (2) las oraciones son tautologías, contradicciones o contingentes, (3) conjuntos de oraciones son consistentes o inconsistentes y (4) los argumentos son válidos o inválidos. También produce tablas de verdad que se pueden copiar en otras aplicaciones. A partir de esta versión, la calculadora está restringida a operaciones semánticas.