Truth Tables

tablas de verdad para la lógica clásica y por un número de sistemas no clásicos

El único propósito de este programa es la generación y visualización, tablas de verdad.

Esta versión gratuita soporta todos los conectores habituales de la lógica clásica, es decir, la negación, la conjunción, la disyunción (inclusiva), conditonal (implicación material) y bicondicional (equivalencia de materiales), así como las constantes 1 y 0 denotan la verdad y la falsedad, respectivamente. Una cosa divertida es que, además de la notación estándar un poco aburrida de la lógica, puede usar aerodinámica, notación polaca brillante de Lukasiewicz, también.

Y no se detiene aquí. Si usted es el, de buen sentido común con los pies en la tierra de la persona, usted encontrará que es tranquilizador que, por defecto, el programa utiliza clásica, de dos valores, la lógica. Pero si usted es más del tipo aventurero, nunca sin llegar a una empresa, usted estará encantado de saber que las tablas de verdad para Android es compatible con varios sistemas no clásicos, de varios valores de la lógica, también. Nunca entre a un río dos veces, y dos negativos no hacen una afirmación, por así decirlo!