Proposiciones Lógicas para PC

- Ajustes y mejoras generales

¿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:

• Tabla de verdad
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.

• Resolución
Introduzca una proposición lógica cualquier y obtenga sugerencias de resolución.

• Mostrar paréntesis implícitos
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 P → Q∧R, 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í: P → (Q∧R).

• Resaltar los pares de delimitadores
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.

• Ver la resolución paso a paso
Vea cada uno de los pasos que deben tomar para resolver la proposición.

• Generar el árbol binario
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.

• Analizar la proposición
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:

• Sint****
Lea un texto sobre la sint**** de las proposiciones lógicas, que contiene informaciones acerca de los componentes de una proposición y como se debe escribirla.

• Semantics
Vea un resumen a cerca de interpretaciones semánticas de las proposiciones lógicas.

• Connectivas
Obtenga informaciones acerca de cada uno de las conectivas acompañada de ejemplos.

• Precedencia das Conectivas
Vea una tabla de fácil comprensión que muestra la precedencia de las conectivas.

• Delimitadores de mayor prioridad
Lea una breve descripción de cada uno de los delimitadores de mayor prioridad y cómo utilizarlos.

----------------------------------

Observación:
Cada proposición informada es calculada automáticamente, resultados erróneos pueden ser devueltos.