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