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

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

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

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

P → Q, Q → R, P ⊢ R

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

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

1.
P → Q
فرضية
2.
Q → R
فرضية
3.
P
فرضية
4.
Q
اختر القاعدة
اختر مراجع الأسطر
5.
R
اختر القاعدة
اختر مراجع الأسطر