0:00
AvancéÉquivalence LogiquePreuve Glisser-Déposer

Disposez les étapes suivantes dans le bon ordre pour démontrer R ∧ S à partir des prémisses données.

Étapes disponibles :

  • R ∧ S (Introduction de la conjonction sur 5, 6)
  • P ∧ Q (Prémisse)
  • P (Élimination de la conjonction sur 1)
  • P → R (Prémisse)
  • Q → S (Prémisse)
  • R (Modus Ponens sur 4, 3)
  • Q (Élimination de la conjonction sur 1)
  • S (Modus Ponens sur 5, 7)

Objectif : Démontrer R ∧ S

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

Étapes disponibles

Toutes les étapes utilisées dans la preuve

Objectif : Prouver Q

Faites glisser les étapes ici pour construire votre preuve