ايجاب احدى المقدّمتين وكليّة إحداهما ان كانت المتّصلة موجبة فان يشارك بتاليها مانعة الجمع وبمقدّمها مانعة الخلوّ ايجابا وبالعكس سلبا والنتيجة كالمنفصلة جنسا وكيفا لأنّ ما يمتنع اجتماعه مع اللازم يمتنع اجتماعه مع الملزوم وما لا يخلو الواقع عنه وعن الملزوم لا يخلو عنه وعن اللازم وان كانت سالبة فان يكون كلية او يشارك بمقدّمها مانعة الجمع وبتاليها مانعة الخلوّ والنتيجة مع مانعة الخلو الكليّة مانعة الجمع كالمتّصلة كمّا وكيفا ومانعة الخلوّ ايضا كالمتّصلة الكلية فيهما وفيما عدا ذلك سالبة جزئية مانعة الخلو والّا كذبت المتّصلة الا في المتّصلة السالبة الكلية المشاركة بتاليها المانعة الجمع فانّ الخلف فيها استلزام تالى المتّصلة نقيضه دائما إن كانت مانعة الجمع كلية والّا ففى الجملة وفى هذا الخلف نظر فانا قد بينا ان الشي ء قد يلزم نقيضه دائما او في الجملة واعلم ان الاختلاف في الشرطيات انما يتبيّن ببيان صدق القياس مع التلازم والتعاند فاذا كان الشي ء قد يستلزم نقيضه كان الاختلاف ممنوعا فامتنع الاستدلال به على العقم

ـــــــــــــــــــــــــــــ

الأربعة ان يكون احدى المقدّمتين كلية وإحداهما موجبة وبعد ذلك فالمتّصلة امّا موجبة او سالبة فإن كانت موجبة فالمنفصلة امّا موجبة او سالبة فإن كانت موجبة وجب ان يشاركها المتّصلة بتاليها اى يكون الحد الأوسط تاليها ان كانت مانعة الجمع وان يشاركها بمقدّمها ان كانت مانعة الخلو وان كانت المنفصلة سالبة فبالعكس اى يشترط ان يكون الحدّ الأوسط مقدم المتّصلة ان كانت مانعة الجمع وتاليها ان كانت مانعة الخلوّ والنتيجة كالمنفصلة في الكيف والجنس اى في كونهما مانعة الجمع او مانعة الخلوّ امّا اذا كانت المنفصلة موجبة فهى مانعة الجمع لأنّ امتناع اجتماع الشي ء مع اللازم يوجب امتناع اجتماعه مع الملزوم وفى مانعة الخلوّ لأنّ امتناع الخلو عن الشي ء والملزوم موجب لامتناع الخلوّ عنه وعن اللّازم واما اذا كانت سالبة فلان جواز الجمع بين الشي ء والملزوم يستلزم جواز الجمع بينه وبين اللازم وجواز الخلو عن الشي ء واللّازم يستدعى جواز الخلوّ عن الشي ء والملزوم والبرهان على انتاج السالبة متروك في المتن لظهوره هذا اذا كانت المتّصلة موجبة امّا اذا كانت سالبة فيشترط في انتاجها احد الأمرين امّا ان يكون المتّصلة كلية او يشارك بمقدّمها المنفصلة ان كانت مانعة الجمع وبتاليها ان كانت مانعة الخلوّ ثمّ المنفصلة اما ان تكون مانعة الخلو الكلية او غيرها فان كانت مانعة الخلو الكلية فالمتّصلة ان كانت كلية انتج القياس نتيجتين مانعة الجمع ومانعة الخلوّ متوافقتين للمتّصلة في الكمّ والكيف وإن كانت المتّصلة جزئية انتج مانعة الجمع موافقة للمتّصلة كمّا وكيفا ويعلم من قوله كالمتّصلة الكلية انّ انتاجها مانعة الخلو انما يكون اذا كانت كليّة وان كانت المنفصلة غير مانعة الخلو الكلية فالنتيجة سالبة جزئية مانعة الخلو سواء كانت مانعة الجمع او مانعة الخلوّ الجزئية وبيان هذه الدعاوى على الاجمال بالخلف وهو ضمّ لازم نقيض النتيجة الى لازم المنفصلة ليلزم كذب السالبة المتّصلة والتفصيل امّا انتاج المتّصلة الكلية مع مانعة الخلو الكلية النتيجتين فلأنّه اذا صدق ليس البتّة اذا كان ا ب فجد ودائما امّا ان يكون ج د او هز ينتج ليس البتة امّا ان يكون ا ب او هز مانعة الجمع والّا فقد يكون امّا ا ب ا وهى ز مانعة الجمع ويلزمه قد يكون اذا كان ا ب لم يكن هى ز وكلما لم يكن هى ز كان ج د فانه لازم لمانعة الخلوّ ينتج قد يكون اذا كان ا ب فجد وهو مناقض للسّالبة الكلية ومانعة الخلوّ والا فقد يكون امّا ا ب او هز مانعة الخلوّ ويلزمه قد يكون اذا لم يكن هز كان ا ب وكلما لم يكن هز كان جد فقد يكون اذا كان ا ب فجد وقد كان ليس البتّة هف وامّا انتاج المتّصلة الجزئية مع مانعة الخلو الكلية مانعة الجمع الجزئية فلانّه اذا صدق قد لا يكون اذا كان ا ب فجد ودائما امّا ان يكون جد او هز فقد لا يكون امّا ا ب او هز والّا فدائما امّا ا ب او هز ويلزمه كلما كان ا ب لم يكن هى ز وكلّما لم يكن هز كان ج د فكلّما كان ا ب كان جد وقد كان قد لا يكون هف وامّا انتاج المتّصلة مع مانعة الجمع وهى مشاركة لها بمقدّمها فلأنّه اذا صدق قد لا يكون اذا كان جد فا ب ودائما امّا جد او هى ز مانعة الجمع فقد لا يكون امّا ا ب او هز مانعة الخلوّ والّا فدائما امّا ا ب او هز مانعة الخلوّ ويلزمه كلّما لم يكن هز كان