0:00
AdvancedLogical EquivalenceProof Completion

Complete the following proof using case analysis:

  1. P ∨ Q (Premise)
  2. P → R (Premise)
  3. Q → R (Premise)
  4. Case 1: Assume P
  5. _____ (?)
  6. Case 2: Assume Q
  7. _____ (?)
  8. _____ (?)

Goal: Prove R

P ∨ Q, P → R, Q → R ⊢ R

Goal: Prove ?

Click on the blank fields to fill in the proof