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

بناءً على المقدمات التالية:

  1. P → Q
  2. Q → R

أثبت: P → R

P → Q, Q → R ⊢ P → R

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

ابنِ إثباتك خطوة بخطوة

1.
P → Q
فرضية
2.
Q → R
فرضية