0:00
BeginnerLogical EquivalenceDrag & Drop Proof
Arrange the following steps in the correct order to prove Q from the given premises.
Goal: Prove Q
P → Q, P ⊢ QAvailable Steps
P → QPremise
PPremise
QModus Ponens (1, 2)
Goal: Prove Q
Drag steps here to build your proof