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