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