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