0:00
AvancéÉquivalence LogiqueComplétion de Preuve

Complétez la preuve suivante en utilisant l'analyse par cas :

  1. P ∨ Q (Prémisse)
  2. P → R (Prémisse)
  3. Q → R (Prémisse)
  4. Cas 1 : Supposons P
  5. _____ (?)
  6. Cas 2 : Supposons Q
  7. _____ (?)
  8. _____ (?)

Objectif : Prouver R

P ∨ Q, P → R, Q → R ⊢ R

Objectif : Prouver ?

Cliquez sur les champs vides pour remplir la preuve