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