0:00
متقدمالتكافؤ المنطقيإكمال البرهان

أكمل البرهان التالي:

  1. P ↔ Q (مقدمة)
  2. Q ↔ R (مقدمة)
  3. P (مقدمة)
  4. _____ (?)
  5. _____ (?)

الهدف: إثبات R

P ↔ Q, Q ↔ R, P ⊢ R

الهدف: إثبات ?

انقر على الحقول الفارغة لملء الإثبات