0:00
GevorderdLogische EquivalentieSleep en Laat Bewijs

Rangschik de volgende stappen in de juiste volgorde om ¬P te bewijzen vanuit de gegeven premissen.

Beschikbare stappen:

  • Q → R (Premisse)
  • ¬R (Premisse)
  • ¬Q (Modus Tollens op 1, 2)
  • P → Q (Premisse)
  • ¬P (Modus Tollens op 4, 5)

Doel: Bewijs ¬P

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

Beschikbare stappen

Alle stappen gebruikt in bewijs

Doel: Bewijs Q

Sleep stappen hierheen om je bewijs op te bouwen