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