0:00
IntermédiaireÉquivalence LogiquePreuve Glisser-Déposer

Arrangez les étapes suivantes dans l'ordre correct pour prouver S à partir des prémisses données.

Objectif : Prouver S

P → Q, Q → R, R → S, P ⊢ S

Étapes disponibles

P → QPrémisse
Q → RPrémisse
R → SPrémisse
PPrémisse
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Objectif : Prouver S

Faites glisser les étapes ici pour construire votre preuve