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