Truth Tables 3.43

Licencia: Gratis ‎Tamaño del archivo: 217.06 MB
‎Calificación de usuarios: 2.3/5 - ‎8 ‎Votos

acerca de Truth Tables

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

Esta versión gratuita soporta todos los conectivos habituales de la lógica clásica, es decir, la negación, la conjunción, la disyunción (incluida), la conditonal (implicación material) y la bí condicional (equivalencia material), así como las constantes 1 y 0 que denotan la verdad y la falsedad, respectivamente. Una cosa interesante es que, además de la notación estándar algo aburrida de la lógica, también puede utilizar la notación polaca brillante y forrada de Lukasiewicz.

Y no se detiene aquí. Si usted es el tipo de persona de sentido común, le resultará tranquilizador que, por defecto, el programa utiliza lógica clásica, de dos valores. Pero si usted es más del tipo aventurero, nunca se detiene por debajo de una empresa, usted estará encantado de aprender que las tablas de la verdad para Android es compatible con una serie de sistemas de lógica no clásicos, multivalor, también. Nunca entres a un río dos veces, y dos negativos no hacen una afirmación, ¡por así decirlo!