الفرض : لا ب ح - صادقة
المدّعى : كل ب حَ - صادقة
البرهان : إن كانت كل ب حَ صادقة ، فهو ، وإلّا يلزم كذب لا ب ح - ، هذا خلف ، وهذا ما يوضحه التالي :
كلما كذبت كل ب حَ - صدق نقيضها س ب حَ
كلما صدقت س ب حَ - صدقت منقوضة محمولها ع ب ح -
كلما صدقت ع ب ح - كذب نقيضها لا ب ح - ، هذا خلف ، وذلك لأننا فرضنا لا ب ح - صادقة .
- كل ب حَ صادقة ، وهو المطلوب .
البرهان على السالبة الجزئية
يمكن عرض هذا البرهان من خلال التالي :
الفرض : س ب ح - صادقة
المدعى : ع ب حَ صادقة
البرهان : يمكن الاستدلال على صدق ع ب حَ بنفس الطريقة السابقة وهي طريقة الخلف .
لو لم تكن ع ب حَ صادقة - لصدق نقيضها لا ب حَ
لو كانت لا ب حَ صادقة - لصدقت كل ب ح - منقوضة المحمول
ولو صدقت كل ب ح - كذبت س ب ح -
هذا خلف ؛ لأننا فرضنا س ب ح - صادقة
- ع ب حَ صادقة
ج 17 : البرهان على عكس النقيض الموافق ل - كل ب ح -
يمكن عرض هذا البرهان من خلال التالي :
الفرض : كل ب ح - صادقة ، ب / ح - أو ب ( ح - لأن كل ب ح - تصدق
شرح كتاب المنطق — صفحة 401
مساهمون: السيد كمال الحيدري
ص٤٠١