0:00
AdvancedLogical EquivalenceProof Completion

Complete the following proof:

  1. P ↔ Q (Premise)
  2. Q ↔ R (Premise)
  3. P (Premise)
  4. _____ (?)
  5. _____ (?)

Goal: Prove R

P ↔ Q, Q ↔ R, P ⊢ R

Goal: Prove ?

Click on the blank fields to fill in the proof