Truth Tables 3.43

para lyf Water 9

El único propósito de este programa es generar y mostrar tablas de verdad.

Esta versión gratuita admite 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 que denotan verdad y falsedad, respectivamente. Una cosa genial es que, además de la notación estándar un tanto aburrida de la lógica, también puedes usar la notación brillante de Streaming de Lukasiewicz.

Y no se detiene aquí. Si usted es un tipo de persona con los pies en la tierra y el sentido común, le resultará tranquilizador que, de manera predeterminada, el programa utilice una lógica clásica de dos valores. Pero si eres más aventurero y nunca te faltas a una empresa, estarás encantado de saber que Truth Tables para Android también admite una serie de sistemas de lógica no clásicos y multivalor. Nunca ingreses a un río dos veces, ¡y dos negativos no hacen una afirmación, por así decirlo!