0:00
IntermediateLogical EquivalenceDrag & Drop Proof

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

Goal: Prove R

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

Available Steps

P ∨ QPremise
¬PPremise
Q → RPremise
QDisjunctive Syllogism (1, 2)
RModus Ponens (3, 4)

Goal: Prove R

Drag steps here to build your proof