0:00
Difficulty: IntermediateCategory: Logical EquivalenceType: Drag & Drop ProofArrange the following steps in the correct order to prove R from the given premises.
Goal: Prove R
P ∨ Q, ¬P, Q → R ⊢ RAvailable Steps
P ∨ QPremise
¬PPremise
Q → RPremise
QDisjunctive Syllogism (1, 2)
RModus Ponens (3, 4)
Goal: Prove R
Drag steps here to build your proof