عب ح - ( المطلوب ) ]
يمكن الاستدلال لإثبات صدق ع ب ح - من خلال الطريقة التالية أيضاً :
الفرض : - ع م ب ، كلّ م ح - صادقتان
المدّعى : - ع ب ح - صادقة
البرهان : لو لم تكن ع ب ح - صادقة لصدق لا ب ح - نقيضها ، وإذا كانت لا ب ح - صادقة صدق لا ح - ب عكسها المستوي ، وإذا صدقت لا ح - ب أمكن أن نجعلها كبرى في قياس من الشكل الأوّل صغراه كبرى القياس المطلوب إنتاجه :
- كل م ح -
- لا ح - ب
- لا م ب
إذن ينتج لا م ب صادقة لكنها نقيض ع م ب المفروضة الصدق ، هذا خلف .
[ ( الرابع ) من موجبتين ، والكبرى جزئية ، ينتج موجبة جزئية .
مثاله : كلّ طائر حيوان
بعض الطائر أبيض
- بعض الحيوان أبيض .
ويبرهن عليه بعكس الكبرى ، ثمّ جعلها صغرى وصغرى الأصل كبرى لها ، ثمّ بعكس النتيجة ، فنقول :
المفروض : - كلّ م ب وع م ح -
المدّعى : - ع ب ح -
البرهان : نعكس الكبرى إلى ( ع ح - م ) ونجعلها صغرى لصغرى الأصل ، فيحدث :
شرح كتاب المنطق — صفحة 216
مساهمون: السيد كمال الحيدري
ص٢١٦