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

Arrangez les étapes suivantes dans le bon ordre pour prouver R à partir des prémisses données.

Objectif : Prouver R

P ∨ Q, ¬P, Q → R ⊢ R

Étapes disponibles

P ∨ QPrémisse
¬PPrémisse
Q → RPrémisse
QSyllogisme Disjonctif (1, 2)
RModus Ponens (3, 4)

Objectif : Prouver R

Faites glisser les étapes ici pour construire votre preuve