FIME-ITS: Tarea 2 - Tautología

Para la tarea 2 se tenía que elaborar una expresión que fuera Tautología. Aquí una pequeña definición de que es la Tautología: es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.

Todas las conectivas lógicas que ocupan a la lógica proposicional son estas y la forma en resolver cualquier expresión.

Bueno, esta es la expresión que yo construí:

⊨P = (p ^ q) v (r v p) v ¬ r

Empecé poco a poco haciendo prueba y error con ayuda de una tabla de la verdad y aquí está la tabla que se construyó al final.

Como se puede observar todos los resultados finales resultaron 1, que es igual a verdadero el objetivo principal de la Tautología. Cuenta con 3 variables (p, q, r), tiene al menos 4 ocurrencias conectivas (conjunción: ^) (Disyunción: v) y una Negación (¬).

Por último, un pequeño árbol con sus respectivas subdivisiones de la expresión que formule.