Contrôle 2, questions et exercices

Démonstration de p ∨ ¬p sans hypothèse donnée.

Numéro du devoir, d) :

⊢ p ∨ (q ⊃ r)) ≡ ((p v q) ⊃ (p ∨ r))

Faire en deux parties (démontrer deux implications séparément pour prouver le biconditionnel).