0:00
Difficulté: DébutantCatégorie: Équivalence LogiqueType: Preuve Glisser-DéposerDisposez 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