Truth Tables para Android

Por Erpelstolz
Gratuito
Calificación del usuario

¿Has usado Truth Tables para Android?

Descripción del desarrollador

El único propósito de este programa es generar y mostrar tablas de verdad. Así que, mis compañeros lógicos: No pregunten qué puede hacer el programa de tablas de verdad...

El único propósito de este programa es generar y mostrar tablas de verdad. Así que, mis compañeros lógicos: No pregunten qué puede hacer el programa de tablas de verdad por ustedes, pregunten qué pueden hacer ustedes por el programa de tablas de verdad. Esta versión gratuita soporta todos los conectivos habituales de la lógica clásica, es decir, negación, conjunción, disyunción (inclusiva), condicional (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 algo aburrida notación estándar de la lógica, ¡también pueden usar la notación polaca simplificada y brillante de Lukasiewicz! ¿No es un buen trato? Y no se detiene aquí. Si eres una persona práctica y con sentido común, te resultará reconfortante saber que, por defecto, el programa utiliza lógica clásica de dos valores. Pero si eres más del tipo aventurero, que nunca se detiene ante una aventura que la vida pueda ofrecer, te encantará saber que Truth Tables para Android también soporta una serie de sistemas de lógica no clásica y multivaluada. ¡Nunca entres dos veces en el mismo río, y dos negativos no hacen una afirmación, por así decirlo! No se han dañado animales en la creación de esta aplicación. Historial de versiones 3.020001 - lanzamiento de mantenimiento 3.01002 - permitiendo orientación fija (solicitado por un usuario) 3.01: Añadiendo barras de desplazamiento (solicitado por un usuario) 3.0: Esta es una reestructuración importante de los mecanismos internos, lo que lleva a una experiencia de usuario más fluida y virtualmente ilimitada (ya no hay límites relevantes para el tamaño de la tabla de verdad). 2.1: Ahora puedes ingresar más de una proposición a la vez (separadas por comas). En este caso, el programa mostrará una tabla de verdad integrada para todas las proposiciones. 2.05: suprime opcionalmente el teclado suave de Android (solicitado por un usuario) 2.04: soporte para versiones más antiguas de Android (desde 1.6) más corrección de errores menor (al rotar la pantalla con el diálogo de configuración abierto, los cambios de configuración de este diálogo no se aplicaban) 2.03: visualización más atractiva del historial de proposiciones ingresadas - puramente cosmético 2.02: añadiendo una función de historial para proposiciones (solicitado por un usuario) 2.01: añadiendo un nivel adicional de verbosidad mostrando las valoraciones para subexpresiones complejas, pero no para subexpresiones atómicas (solicitado por un usuario estimado) 2.0: Opcionalmente, la tabla de verdad también muestra todos los resultados intermedios, también ("tabla de verdad detallada"); mejoras internas 1.000020101: añadiendo NAND, NOR y XOR (una pulsación larga en los botones de conjunción, disyunción y equivalencia ingresará NAND, NOR y XOR, respectivamente) 1.0000201: guardando persistentemente la configuración global; una pulsación larga en el botón Eliminar borra todo el campo de entrada 1.00002: Debido a una entrada faltante en la lista de recursos de cadena en inglés, la versión en inglés de la aplicación no pudo abrir el diálogo de configuración principal... 1.00001: generando una versión del archivo APK que ahorra mucho más espacio. Palabras clave: tablas de verdad, truth-tables, truth-table, Wahrheitstafel, Wahrheitstafeln, Wahrheitstabelle, Wahrheitstabellen, Aussagenlogik, Logik. Cambios recientes: lanzamiento de mantenimiento (bajo circunstancias muy raras, la aplicación podría cerrarse al cambiar la orientación del dispositivo con el diálogo de configuración abierto) Clasificación de contenido: Todos.