0:00
IntermediateLogical EquivalenceProof Completion

Complete the following proof by contradiction:

  1. P → Q (Premise)
  2. P (Premise)
  3. ¬Q (Premise)
  4. _____ (?)
  5. _____ (?)

Goal: Derive a contradiction

P → Q, P, ¬Q ⊢ ⊥

Goal: Prove ?

Click on the blank fields to fill in the proof