Calculadora proposicional matemática y lógica
Logic Calculator Free es una aplicación que proporciona el valor de verdad de una proposición lógica de 2 maneras diferentes: puedes ingresar el valor de verdad individual de las variables para obtener un único valor de verdad verdadero o falso que corresponda a toda la proposición, o puedes ingresar la proposición lógica y automáticamente te da una tabla de verdad con todas las combinaciones posibles dependiendo de la cantidad de variables en uso. En ese caso el resultado puede ser una tautología, una contingencia o una contradicción.
La calculadora también tiene un modo de comparación. Compara hasta 3 proposiciones para comprobar su equivalencia. Después de la verificación, construye automáticamente la tabla de verdad de la comparación.
Operaciones soportadas: AND, NAND, OR, NOR, XOR, IMPLICACIÓN, BICONDICIONAL.
- Hasta 6 variables disponibles en esta versión gratuita (64 combinaciones posibles).
- Errores de sintaxis marcados para encontrarlos más fácilmente.
- Personalización del teclado.
- Paréntesis, corchetes y corchetes clave anidados para cálculos complejos.
- Demostración paso a paso.
- Listado de últimas proposiciones calculadas.
- Listado de reglas de inferencia con posibilidad de probar cualquiera de ellas.
- ¡NUEVO! Lista de leyes de equivalencia con ejemplos.
- Teoría de las tablas de verdad de todos los operadores lógicos.
- ¡No se requiere conexión a Internet para calcular!
- ¡Más modos de cálculo en futuras actualizaciones!
Leer más
