وإذا كانت ع ب م صادقة صدقت ع م ب عكسها المستوي ، وإذا كانت ع م ب صادقة كذب نقيضها لا م ب ، هذا خلف وذلك لأننا فرضنا لا م ب صادقة .
إذن لا ب ح - صادقة هو المطلوب .
البرهان على الضرب الرابع من الشكل الرابع
الفرض : - كل م ب
- لا ح - م
الضرب الرابع من الشكل الرابع يتألّف من كلّية موجبة صغرى ، وسالبة كلّية كبرى .
المدّعى : ينتج سالبة جزئية س ب ح - صادقة .
البرهان : لو لم تكن س ب ح - صادقة لصدق نقيضها كل ب ح - ، وإذا كانت كلّ ب ح - صادقة لأمكن جعلها كبرى في قياس من الشكل الأوّل الضرب الأوّل ، تكون صغراه صغرى الضرب الرابع المذكور في الفرض ، ولأنتج كلّية موجبة : كل م ح - ، صادقة .
- كل م ب
- كل ب ح -
- كلّ م ح -
فإذا كانت كل م ح - صادقة كان عكسها المستوي ع ح - م صادقاً ، وإذا كانت ع ح - م صادقة كذب نقيضها لا ح - م ، هذا خلف ؛ وذلك لأنّ لا ح - م مفروضة الصدق .
إذن س ب ح - صادقة وهو المطلوب .
ج 3 : يمكن عرض البرهان من خلال التالي :
الفرض : - س ب م
- كل ح - م
شرح كتاب المنطق — صفحة 243
مساهمون: السيد كمال الحيدري
ص٢٤٣