Everyone

Andrew Ruiz

Jelly Bean

¿Tiene problemas en la lógica proposicional?¿Especialmente en la comprensión y la solución de proposiciones lógicas? Ahora tiene a su disposición una aplicación para ayudarle!
El Proposiciones Lógicas consiste en una calculadora lógica capaz de generar la tabla de verdad, obtener sugerencias de resolución, generar el árbol binario y analizar cualquier proposición lógica. Además, la aplicación tiene varias caracteristicas visuales que facilitan la comprensión y visualización de las prioridades de resolución en una proposición.
A seguir, una descripción detallada de las características de la aplicación:
La tabla de verdad se utiliza para determinar los valores lógicos de las proposiciones compuestas, mediante la asignación de todos los posibles valores lógicos de las proposiciones atómicas.
Introduzca una proposición lógica cualquier y obtenga sugerencias de resolución.
Los Paréntesis implícitos son aquellos que no fueron informados al escribir la proposicíon, pero es como si estuvieran presentes para justificar la precedencia natural de las conectivas. Por ejemplo, en la proposicíon 
, ya que la conectiva de la conjunción "∧" tiene mayor prioridad que la conectiva de la implicación "→", podemos decir que en esta proposición hay un par de paréntesis implícitos. Si los mostramos, la proposicíon se vería así: 
.
Es posible destacar cada par de parênteses con un color diferente, o destacar hasta mismo el contenido dentro de ellos. Los colores están directamente relacionados con las prioridades: colores más fuertes indican mayor prioridad. Los colores utilizados son (del más fuerte al más débil): rojo, naranja, amarillo, amarillo claro.
Vea cada uno de los pasos que deben tomar para resolver la proposición.
El árbol binario es una estructura de datos. En este caso se va a usar para representar graficamente la proposicíon identificando inequívocamente el orden en que deben resolverse las sub-proposiciones. Facilitando el entendimiento de la precedencia de las conectivas.
Adquirir información de cada uno de los componentes de la proposición (proposiciones atómicas, conectivas o otros símbolos).
También tendrá a su disposición un breve contenido dividido en los siguientes temas:
Lea un texto sobre la sintaxis de las proposiciones lógicas,  que contiene informaciones acerca de los componentes de una proposición y como se debe escribirla.
Vea un resumen a cerca de interpretaciones semánticas de las proposiciones lógicas.
Obtenga informaciones acerca de cada uno de las conectivas acompañada de ejemplos.
Vea una tabla de fácil comprensión que muestra la precedencia de las conectivas.
Lea una breve descripción de cada uno de los delimitadores de mayor prioridad y cómo utilizarlos.
----------------------------------
Cada proposición informada es calculada automáticamente, resultados erróneos pueden ser devueltos.

Proposiciones Lógicas

Última versión de Proposiciones Lógicas