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

Arrangez les étapes suivantes dans le bon ordre pour démontrer ¬P à partir des prémisses données.

Étapes disponibles :

  • Q → R (Prémisse)
  • ¬R (Prémisse)
  • ¬Q (Modus Tollens sur 1, 2)
  • P → Q (Prémisse)
  • ¬P (Modus Tollens sur 4, 5)

Objectif : Démontrer ¬P

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

Étapes disponibles

Toutes les étapes utilisées dans la preuve

Objectif : Prouver Q

Faites glisser les étapes ici pour construire votre preuve