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