ولو كان ب » حَ لصدق حَ - مع ب تارة ولصدق دونه ، أما إذا صدق حَ - الذي هو الأعم مع ب الذي هو الأخص فلا يصدق ح - مع ب ، وذلك لاستحالة اجتماع النقيضين ، هذا خلف ، وذلك لأن ح - يصدق مع ب .
- س ب حَ صادقة ، وهو المطلوب .
نقض محمول السالبة الكلية
يمكن عرض الاستدلال من خلال التالي :
الفرض : لا ب ح - صادقة ، - ب / / ح -
المدعى : كل ب حَ - صادقة - ب / حَ - ، ب ( حَ -
البرهان : أما القياس الاستثنائي فهو التالي : لو لم تصدق كل ب حَ - كلما صدقت لا ب ح - للزم صدق النقيضين ع ب ح - ولا ب ح - ، والتالي باطل فالمقدم مثله .
أما بطلان اللازم فواضح ، وإنما الملازمة هي التي تحتاج إلى بيان وتوضيح ، وهو ما يمكن عرضه من خلال القياس الاقتراني الشرطي الاتصالي التالي :
لو لم تصدق كل ب حَ - حال صدق لا ب ح - لصدق س ب حَ - نقيضها
ولو صدقت س ب حَ - لصدق ع ب ح - منقوضة المحمول
- لو لم تصدق كل ب حَ - حال صدق لا ب ح - لصدقت ع ب ح -
- لزم من القول بكذب كل ب حَ - صدق لا ب ح - ، وع ب ح - وهو محال .
إذن القول بكذب كل ب حَ - باطل .
كما يمكن عرض الاستدلال المذكور من خلال القياس الاقتراني الحملي التالي :
كل ما يلزم منه باطل - باطل
القول بكذب كل ب حَ - حال صدق لا ب ح - يلزم منه باطل
- القول بكذب كل ب حَ - حال صدق لا ب ح - باطل
شرح كتاب المنطق — صفحة 415
مساهمون: السيد كمال الحيدري
ص٤١٥