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