Evaluar la expresión (-q → -P) → (p → q) y verificar si es igual
Paso
Tenemos dos variables, p y q, y necesitamos evaluar la expresión (-q → -P) → (p → q). Crearemos una tabla de verdad con todas las combinaciones posibles de p y q.
pag q -q -PAG -q → -P pag → q (-q → -P) → (p → q)
0 0 1 1 0 1 1
0 1 0 1 1 1 1
1 0 1 0 1 0 0
1 1 0 0 1 1 1
Paso 2: Evaluación de la expresión
Ahora evaluamos la expresión (-q → -P) → (p → q) para cada fila de la tabla de verdad. Podemos ver que la última columna de la tabla de verdad es 1 para todas las filas.
Conclusión
Dado que la expresión (-q → -P) → (p → q) evalúa
