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