في الموردين المذكورين فقط .
المدّعى : كل حَ بَ صادقة
البرهان : يمكن عرض هذا البرهان من خلال القياس التالي :
لو لم يكن كل حَ بَ صادقة لصدق نقيضها س حَ بَ ، لكنّه غير صادق .
كل حَ بَ صادقة
يمكن الاستدلال على عدم صدق س حَ بَ ، أي بطلان اللازم من خلال القياس الاقتراني الاتصالي التالي :
كلّما صدقت س حَ بَ - صدقت س ب ح -
كلما صدقت س ب ح - كذبت كل ب ح -
كلما صدقت س حَ بَ - كذبت كل ب ح -
أما الصغرى فلأنّ س ب ح - عكس نقيض موافق ل - س حَ بَ ، وأما الكبرى فلأن كل ب ح - نقيض س ب ح -
لكن النتيجة خلف الفرضِ ، حيث فرضنا كل ب ح - صادقة .
س حَ - بَ كاذبة فيصدق نقيضها كل حَ بَ وهو المطلوب .
وبعبارة أخرى : يمكن صياغة القياس التالي : لو لم تكن كل حَ بَ صادقة لكانت كل ب ح - كاذبة ، لكنها صادقة بحسب الفرض ، إذاً كل حَ بَ صادقة .
وبعبارة ثالثة : لو كانت كل حَ - بَ كاذبة ، لكانت النسبة بين حَ وبَ إما التباين الكلي ، أو العموم والخصوص من وجه أو العموم المطلق ، حيث يكون الموضوع أعم ، لكن الأمر ليس كذلك ، إذاً ليست كل حَ بَ كاذبة .
بيان الملازمة : لأنّ موارد كذب الموجبة الكلية هي موارد صدق نقيضها س ب ح - ، والأخيرة تصدق في الموارد الثلاثة المذكورة .
بيان بطلان اللازم : لو كانت النسب المذكورة بين حَ - وبَ ، أي : حَ - / / بَ ، حَ - « بَ ، حَ - * بَ لكانت النسبة بين نقيضهما ح - ، ب ، التباين الجزئي
شرح كتاب المنطق — صفحة 402
مساهمون: السيد كمال الحيدري
ص٤٠٢