0:00
AdvancedLogical EquivalenceDrag & Drop Proof

Arrange the following steps in the correct order to prove R ∧ S from the given premises.

Available Steps:

  • R ∧ S (Conjunction Introduction on 5, 6)
  • P ∧ Q (Premise)
  • P (Conjunction Elimination on 1)
  • P → R (Premise)
  • Q → S (Premise)
  • R (Modus Ponens on 4, 3)
  • Q (Conjunction Elimination on 1)
  • S (Modus Ponens on 5, 7)

Goal: Prove R ∧ S

P ∧ Q, P → R, Q → S ⊢ R ∧ S

Available Steps

All steps used in proof

Goal: Prove Q

Drag steps here to build your proof