0:00
DébutantÉquivalence LogiquePreuve Glisser-Déposer
Disposez les étapes suivantes dans le bon ordre pour prouver Q à partir des prémisses données.
Objectif : Prouver Q
P → Q, P ⊢ QÉtapes disponibles
P → QPrémisse
PPrémisse
QModus Ponens (1, 2)
Objectif : Prouver Q
Faites glisser les étapes ici pour construire votre preuve