0:00
ErweitertLogische ÄquivalenzDrag & Drop Beweis

Ordnen Sie die folgenden Schritte in der richtigen Reihenfolge an, um ¬P aus den gegebenen Prämissen zu beweisen.

Verfügbare Schritte:

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

Ziel: Beweise ¬P

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

Verfügbare Schritte

Alle Schritte im Beweis verwendet

Ziel: Beweise Q

Ziehe Schritte hierher, um deinen Beweis aufzubauen