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