Aşağıdaki ispatı durum analizi kullanarak tamamlayınız:

1. P ∨ Q (Önerme)
2. P → R (Önerme)
3. Q → R (Önerme)
4. Durum 1: P varsayalım
5. _____ (?)
6. Durum 2: Q varsayalım
7. _____ (?)
8. _____ (?)

Hedef: R'yi ispatlayın