0:00
İleriMantıksal Eşdeğerlikİspat Tamamlama

Aşağıdaki ispatı tamamlayın:

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

Hedef: R'yi ispatlayın

P ↔ Q, Q ↔ R, P ⊢ R

Hedef: ? ispatla

İspatı doldurmak için boş alanlara tıklayın