0:00
Difficulty: IntermediateCategory: Logical EquivalenceType: ProofGiven the premises:
- P → Q
- P
Prove: Q
P → Q, P ⊢ QGoal: Prove Q
Build your proof step by step
1.
P → Q
Premise
2.
P
Premise
Given the premises:
Prove: Q
P → Q, P ⊢ QBuild your proof step by step