0:00
مبتدئالتكافؤ المنطقيسحب وإفلات الإثبات

رتب الخطوات التالية بالترتيب الصحيح لإثبات Q من المقدمات المعطاة.

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

P → Q, P ⊢ Q

الخطوات المتاحة

P → Qفرضية
Pفرضية
Qموديس بونينس (1, 2)

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

اسحب الخطوات هنا لبناء إثباتك