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

Complétez la preuve suivante :

  1. P ↔ Q (Prémisse)
  2. Q ↔ R (Prémisse)
  3. P (Prémisse)
  4. _____ (?)
  5. _____ (?)

Objectif : Prouver R

P ↔ Q, Q ↔ R, P ⊢ R

Objectif : Prouver ?

Cliquez sur les champs vides pour remplir la preuve