Tablas de verdad para lógica clásica y para varios sistemas no clásicos
El único propósito de este programa es generar y mostrar Truth Tables .
Esta versión gratuita respalda todos los conectivos habituales de la lógica clásica, es decir, negación, conjunción, disyunción (inclusiva), conditonal (implicación material) y bicondicional (equivalencia material), así como las constantes 1 y 0 denotan la verdad y la falsedad, respectivamente. Una cosa genial es que, además de la notación estándar algo aburrida de la lógica, también puede usar la notación polaca brillante de Lukasiewicz forrada de flujo.
Y no se detiene aquí. Si usted es el tipo de persona de sentido común y de sentido común, le resultará tranquilizador que, por defecto, el programa use lógica clásica, de dos valores. Pero si es más del tipo aventurero, nunca se detiene por debajo de una empresa, estará encantado de saber que Truth Tables para Android también admiten una serie de sistemas de lógica no clásicos y de valores múltiples. Nunca entre en un río dos veces, y dos negativos no hacen una afirmación, ¡por así decirlo!
Descargar