Avalie a seguinte expressão: P → Q quando P = verdadeiro e Q = falso
P → Q where P = ⊤, Q = ⊥
Os guias que explicam o que este exercício pratica.