Evalúa la siguiente expresión: P → Q cuando P = verdadero y Q = falso
P → Q where P = ⊤, Q = ⊥
Las guías que explican lo que practica este ejercicio.