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