0:00
IntermediateLogical EquivalenceDrag & Drop Proof

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

Goal: Prove S

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

Available Steps

P → QPremise
Q → RPremise
R → SPremise
PPremise
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Goal: Prove S

Drag steps here to build your proof