0:00
DébutantÉquivalence LogiqueComplétion de Preuve
Remplissez les justifications manquantes pour cette preuve.
Objectif : Prouver Q
P → Q, P ⊢ QObjectif : Prouver Q
Cliquez sur les champs vides pour remplir la preuve
1.
P → Q
Prémisse
2.
P
Prémisse
3.
Q
Sélectionner la règle
Sélectionner les références de ligne