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