مرحله اول . مفروض الصدق : « بعض الحيوان ليس به انسان » . ( اصل )
مرحله دوم . مطلوب و مدعا : « بعض الحيوان لا انسان » . ( منقوضة المحمول )
مرحله سوم . برهان : اگر « بعض الحيوان لا انسان » صدق نكند لازمهاش آن است كه :
« لا شىء من الحيوان بلا انسان » صدق كند و گرنه ارتفاع نقيضين است و اگر اين سالبه كليه صدق كند لازم ميايد كه در كنار آن يك موجبهء كليه يعنى : « كل حيوان انسان » صدق كند چون با تجزيه و تحليل ، مفاد آن سالبه كليه اين است كه بر هيچ فردى از افراد حيوان ، لا انسان صدق نمىكند و اگر لا انسان صدق نداشت پس بايد خود انسان صدق كند تا ارتفاع نقيضين نشود وانگهى سلب سلب هم ايجاب است پس : « لا شىء من الحيوان بللانسان » مساوى است با « كل حيوان انسان » و اين موجبه كليه اگر صادق باشد لازم نقيض ان ، يعنى : « بعض الحيوان ليس به انسان » كذب باشد و اين خلاف فرض است پس اين سالبه جزئيه صادق است و آن موجبهء كليهء كذب و سالبه معدولهاش نيز كاذب خواهد بود پس نقيض آن سالبه كه يك موجبهء جزئيه است اى : « بعض الحيوان لا انسان صادق خواهد بود و هو المطلوب .
3 . تا به حال نقض محمول سالبه جزئيه را از راه برهان عكس و نقيض ( تمرين 2 ) و نيز از راه تحويل اصل ( در بيان نقض محمول محصورات اربع ) به دست آورديم در اين روش از راه صدق اصل به صدق عكس نقيض به طريق متاخرين منتقل شديم سپس از آنجا به عكس مستوى رسيديم و حال شما از راه عكس نقيض موافق و به طريق قدما همين نتيجه را بگيريد ؟
جواب : مفروض : « بعض الحيوان ليس به انسان » . ( اصل )
مدعا : « بعض الحيوان لا انسان » . ( نقض محمول )
برهان : اگر « بعض الحيوان لا انسان » صادق باشد لازمهاش اين است كه عكس نقيض موافق آن نيز صادق باشد ، اى : « بعض اللا انسان ليس بلا حيوان » . دليل صدق : « كلما صدق الاصل صدق العكس » ، و اگر اين عكس نقيض صادق باشد بايد بتوان سالبه معدوله را به يك موجبه محصله المحمول تبديل كرد . اى : « بعض اللاانسان حيوان » و اگر اين موجبهء جزئيه صدق كند بايد عكس مستوى آن نيز صادق باشد اى « بعض الحيوان لا انسان » و هذا هو المطلوب .
4 . تا به حال نقض محمول موجبه جزئيه را از راه برهان عكس و نقيض و يا برهان
شرح منطق مظفر (فارسى) — صفحة 501
مساهمون: على محمدى خراسانى
ص٥٠١