المدّعى : صدق بعض الحجر لا إنسان ، بعض الحيوان لا إنسان ، بعض الطير لا أبيض .
البرهان : لو لم تكن الموارد المذكورة صادقة لصدق نقيض كلٍّ منها :
لا شيء من الحجر لا إنسان ، لا شيء من الحيوان لا إنسان ، لا شيء من الطير لا أبيض .
وإذا صدقت هذه الموارد صدق منقوض محمول كلٍّ منها والذي هو موجبة كليّة :
كل حجر إنسان ، كل حيوان إنسان ، كل طير أبيض .
وإذا صدقت هذه القضايا كذب نقيض كلٍّ منها :
بعض الحجر ليس بإنسان كاذبة .
بعض الحيوان ليس بإنسان .
بعض الطير ليس بأبيض كاذبة .
لكننا فرضنا هذه القضايا صادقة ، إذن هذا خلف ، والذي أدّى إليه هو فرضنا ، لكذب الموارد الثلاثة : بعض الحجر لا إنسان ، بعض الحيوان لا إنسان ، بعض الطير لا أبيض ، إذن فهي صادقة .
وكذلك يمكن الاستدلال على ذلك من خلال قياس المساواة ، وذلك بالقول :
فرض كذب ع ب حَ - مستلزم لصدق لا ب حَ -
وفرض صدق لا ب حَ - مستلزم لصدق كل ب ح -
وفرض صدق كل ب ح - مستلزم لكذب س ب ح -
- فرض كذب ع ب حَ - مستلزم لكون س ب ح - كاذبة
هذا خلف ، حيث فرضنا س ب ح - صادقة .
إذن ع ب حَ صادقة وهو المطلوب .
شرح كتاب المنطق — صفحة 417
مساهمون: السيد كمال الحيدري
ص٤١٧