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

فَإِنْ يَكُ الشَّرْطِيُّ ذَا اتِّصَالِ ... أَنْتَجَ وَضْعُ ذَاكَ وَضْعَ التَّالِي

وَرَفْعُ تَالٍ رَفْعَ أَوَّلٍ وَلا ... يَلْزَمُ فِي عَكْسِهِمَا لِمَا انْجَلَى

بيان كيفية إنتاج القياس الشرطي، كيف ينتج؟ سبق أن القياس الشرطي أو الشرطية نوعان:

شرطية متصلة.

وشرطية منفصلة.