0:00
متوسطالتكافؤ المنطقيسحب وإفلات الإثبات
رتب الخطوات التالية بالترتيب الصحيح لإثبات R من المقدمات المعطاة.
الهدف: إثبات R
P ∨ Q, ¬P, Q → R ⊢ Rالخطوات المتاحة
P ∨ Qفرضية
¬Pفرضية
Q → Rفرضية
Qالقياس الفصلي (1, 2)
Rموديس بونينس (3, 4)
الهدف: إثبات R
اسحب الخطوات هنا لبناء إثباتك