0:00
IntermédiaireÉ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 R

Cliquez sur les champs vides pour remplir la preuve

1.
P → Q
Prémisse
2.
Q → R
Prémisse
3.
P
Prémisse
4.
Q
Sélectionner la règle
Sélectionner les références de ligne
5.
R
Sélectionner la règle
Sélectionner les références de ligne