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