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