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