The Deduction Theorem
من المبرهنات المشهورة في المنطق الرياضي، ولعلها المبرهنة الأكثر تطبيقًا في الرياضيات .
بشكل غير رسمي تنص المبرهنة على أنه لأجل إثبات عبارة شرطية من نوع :
p →q
داخل نظام ليكن اسمه Γ
سنفرض العبارة p داخل النظام Γ مؤقتًا ويجب أن نستنتج q أي أننا سنعتبر p قضية معطاة ومفروضة يمكن الاستفادة منها في إجراء البرهان، فإذا نجحنا في استنتاج q نقول أثبتنا q ابتداءً من p .
3
1January 25, 2026 636 3
