Valuta la seguente espressione: P ∨ Q quando P = falso e Q = vero
P ∨ Q where P = ⊥, Q = ⊤
Le guide che spiegano ciò che questo esercizio mette in pratica.
