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

املأ التبريرات الناقصة لهذا البرهان.

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

P → Q, P ⊢ Q

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

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

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