0:00
AvanceradLogisk EkvivalensDra och Släpp Bevis

Ordna följande steg i rätt ordning för att bevisa ¬P från de givna premisserna.

Tillgängliga steg:

  • Q → R (Premiss)
  • ¬R (Premiss)
  • ¬Q (Modus Tollens på 1, 2)
  • P → Q (Premiss)
  • ¬P (Modus Tollens på 4, 5)

Mål: Bevisa ¬P

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

Tillgängliga steg

Alla steg använda i bevis

Mål: Bevisa Q

Dra steg hit för att bygga ditt bevis