Lógica proposicional; formas normales

Tautología
Una expresión lógica es una tautología si es verdadera para todas las asignaciones posibles.

Nota: 
Si P → Q es una tautología se le llama implicación y se escribe P ⇒Q

Si P ↔ Q es una tautología se dice que es una doble implicación, se escribe P ⇔ Q

La validez es parte de una tautología ya que se da en el razonamiento y puede realizarse mediante las tablas de verdad.

Tarea 2. Ejemplo de Tautología
Aquí esta mi tautología esta esta dada por 3 variables de entrada p,q y r, para realizarla primeramente declare las proposiciones estas son compuestas ya que contienen conectivos lógicos. 

Premisas

P1= p ->q
P2=r -> q
P3 = p V r -> q
PT= q

 Tabla de verdad

 

Referencias:
www.fdi.ucm.es/profesor/rmartine/.../logica_tema1_4.pd