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