0:00
BeginnerLogical EquivalenceProof Completion
Fill in the missing justifications for this proof.
Goal: Prove Q
P → Q, P ⊢ QGoal: Prove Q
Click on the blank fields to fill in the proof
1.
P → Q
Premise
2.
P
Premise
3.
Q
Select rule
Select line references