وكلاهما حكم عقلي قطعي ثابت لا يمكن تغيّره. والمركب من شرطية منفصلة (^١) إن كانت حقيقية مانعةَ جمع وخُلُوّ أنتجت ضروبُه الأربعة؛ لأن نفي كل واحد من النقيضين يستلزم وجود الآخر، ووجودَ كل واحد منهما يستلزم نفي الآخر، وهذه أحكام عقلية قطعية لا تتغير بحال. والمركب من مانعة الجمع المجوِّزةِ للخُلُوّ يقطع العقل بصحة إنتاج ضربيه المنتجين؛ لأن مانعة الجمع المذكورةَ لا تتركب إلا من قضية وأخصَّ من نقيضها، فكلا طرفيها أخصُّ من نقيض الآخر، ولذا كان إثبات كل واحد من طرفيها يقتضي نفي الآخر؛ لأن إثبات ما هو أخصُّ من النقيض يستلزم إثبات النقيض؛ لأن ثبوت الأخصِّ يستلزم ثبوت الأعم بلا عكس. وإذا ثبت النقيض عُلم انتفاءُ نقيضه قطعًا؛ لاستحالة اجتماع النقيضين، فتعين أن ثبوت كل واحد من طرفيها يقتضي نفي الآخر، بخلاف نفي أحد الطرفين فلا يقتضي نفي الآخر؛ لأن نفي ما هو أخص من النقيض لا يستلزم نفي النقيض؛ لأن نفي الأخص لا يستلزم نفي الأعم. وكذلك المركب من مانعة الخُلُوّ المجوِّزةِ للجمع، فإن العقل الصحيح يقطع بصحة إنتاج الضربين المنتجين منه، وهما العقيمان في الذي قبله؛ لأن مانعة الخلو المجوزةَ للجمع لا تتركب إلا من قضية

(^١) يعني مع الاستثنائية، انظر توضيحه ص ١٣٤.