0:00
AdvancedLogical EquivalenceDrag & Drop Proof

Arrange the following steps in the correct order to prove ¬P from the given premises.

Available Steps:

  • Q → R (Premise)
  • ¬R (Premise)
  • ¬Q (Modus Tollens on 1, 2)
  • P → Q (Premise)
  • ¬P (Modus Tollens on 4, 5)

Goal: Prove ¬P

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

Available Steps

All steps used in proof

Goal: Prove Q

Drag steps here to build your proof