ولما كانت الشرطيات مؤلفة بعد التأليف الأول فهي تكون مؤلفة

إما تأليفا ثانيا أي من حمليات

أو ثالثا أي من شرطيات مؤلفة من حمليات

أو رابعا أي من شرطيات مؤلفة من حمليات وهلم جرا إلى ما لا نهاية له

2 -

أقول اقتصر الشيخ من التأليفات التسعة والستة على إيراد أمثلة ثلاثة

أولها متصلة مهملة من متصلة كلية ومنفصلة مهملة كلها موجبات

وثانيها منفصلة مهملة موجبة من متصلتين مهملتين إحداهما موجبة والأخرى سالبة

وثالثها متصلة مهملة من حملية شخصية ومن منفصلة مهملة كلها موجبات

والفاضل الشارح زعم أن تالي المثال الأول وهو إن كان كلما كانت الشمس طالعة فالنهار موجود وإما أن تكون الشمس طالعة وإما لا يكون النهار موجودا

يجب أن تكون منفصلة مؤلفة من الشيء ولازم نقيضه وهي تكون مانعة الخلو

مخ ۲۴۸