0:00
InicianteLógica ProposicionalAvaliação de Expressão

Avalie a seguinte expressão: P ∨ Q quando P = falso e Q = verdadeiro

P ∨ Q where P = ⊥, Q = ⊤