Truth Tables for Android APK

Descripción

El único propósito de este programa es generar y mostrar tablas de verdad. Entonces, mis colegas 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 es compatible con todos los conectores 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. ¡Lo bueno es que, además de la notación estándar algo aburrida de la lógica, también puedes usar la notación polaca brillante y aerodinámica de Lukasiewicz! ¿No es un trato? Y no se detiene aquí. Si usted es el tipo de persona con los pies en la tierra y el sentido común, le resultará tranquilizador que, de forma predeterminada, el programa utilice una lógica clásica de dos valores. Pero si usted es más del tipo aventurero, y nunca se detiene ante una aventura que la vida puede ofrecerle, le encantará saber que Truth Tables para Android también es compatible con una serie de sistemas lógicos multivalor no clásicos. ¡Nunca ingrese a un río dos veces, y dos negativos no hacen una afirmación, por así decirlo! Ningún animal ha sido dañado en la creación de esta aplicación. Historial de versiones 3.020001 - versión de mantenimiento 3.01002 - que permite una orientación fija usuario) 3.01: agregar barras de desplazamiento (solicitado por un usuario) 3.0: esta es una revisión importante del funcionamiento interno, lo que lleva a una experiencia de usuario más fluida y prácticamente ilimitada (no hay límites más relevantes para el tamaño de la tabla de verdad). 2.1: Ahora puede 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: opcionalmente suprime el teclado virtual de Android (solicitado por un usuario) 2.04: compatibilidad con versiones anteriores de Android (a partir de la 1.6) más corrección de errores menores (al rotar el pantalla con el cuadro de diálogo de configuración abierto, la configuración modificada de este cuadro de diálogo no se aplicó) 2.03: visualización más atractiva del historial de proposiciones ingresadas - puramente cosmético 2.02: agregar una función de historial para proposiciones (solicitada por un usuario) 2.01: agregar un nivel adicional de verbosidad que muestra 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 ("tabla de verdad detallada"); mejoras internas 1.000020101: agregar NAND, NOR y XOR (una pulsación prolongada en los botones de conjunción, disyunción y equivalencia ingresará NAND, NOR y XOR, respectivamente) 1.0000201: guardar de forma persistente la configuración global; una pulsación prolongada en el botón Eliminar borra todo el campo de entrada 1.00002: Debido a que falta una entrada en la lista de recursos de cadenas en inglés, la versión en inglés de la aplicación no pudo abrir el cuadro de diálogo de configuración principal... 1.00001: generar un mucho más versión del archivo APK que ahorra espacioPalabras clave: tablas de verdad tablas de verdad tabla de verdad Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikCambios recientes: versión de mantenimiento (en circunstancias muy raras, la aplicación podría cerrarse al cambiar la orientación del dispositivo con el cuadro de diálogo de configuración abierto) Calificación del contenido: Todos