نقيض المقدم أو عين التالي لجواز كون اللازم أعم وفي صورة التساوي بملاحظة لزوم المقدم للتالي وهو متصل آخر وأكثر استعمال الشرط في الأول بأن لأنه وضع لتعليق حصول التالي بحصول المقدم مثبتين أو منفيين أو مختلفين لا لتعليق صدقه بصدقه كما مر وفي الثاني لأنها وضعت لغرض أن يعلق به عدم المقدم لعدم التالي وإن كان الوجودان مقدرين لا محققين ولذا كان الغرض ذلك وهو المناسب لمقام الاستدلال كما في قوله تعالى ﴿لَوْ كَانَ فِيهِمَا آلِهَةٌ إِلَّا اللَّهُ لَفَسَدَتَا﴾ [الأنبياء: من الآية ٢٢] وعلى هذا لو لانتفاء الأول لانتفاء الثاني لكن في العلم لا الوجود وعند جمهور النحاة بالعكس فالآية الكريمة عندهم الانتفاء الفساد الناشيء عن التعدد الانتفاء التعدد هذا وكون لو موضوعًا لذلك كثرى فقد يستعمل لمجرد اللزوم من غير غرض التعليق بين العدمين نحو قوله تعالى: ﴿وَلَأَمَةٌ مُؤْمِنَةٌ خَيْرٌ مِنْ مُشْرِكَةٍ وَلَوْ أَعْجَبَتْكُمْ وَلَا تُنْكِحُوا الْمُشْرِكِينَ حَتَّى يُؤْمِنُوا وَلَعَبْدٌ مُؤْمِنٌ خَيْرٌ مِنْ مُشْرِكٍ وَلَوْ أَعْجَبَكُمْ أُولَئِكَ يَدْعُونَ إِلَى النَّارِ وَاللَّهُ يَدْعُو إِلَى الْجَنَّةِ وَالْمَغْفِرَةِ بِإِذْنِهِ وَيُبَيِّنُ آيَاتِهِ لِلنَّاسِ لَعَلَّهُمْ يَتَذَكَّرُونَ﴾ [البقرة: من الآية ٢٢١] وقوله ﵇ "لو لم يخف الله لم يعصه". بحث شريف الاستثنائي المتصل الذي استثنى فيه نقيض التالي إذا استعمل فيه لو بعد وضع المطلوب يسمى قياس الخلف وحقيقته عن المنطقيين إثبات المطلوب بإبطال لازم نقيضه وعندنا بإبطال نفس نقيضه وعند البعض بإلزام المحال من نقيضه ومرجع النزاع أن المنطقيين يستعملون لبيان الملازمة بين نقيض المطلوب ونقيض مقدمة صادقة من مقدمات القياس قياسًا اقترانيًا شرطيًا قائلين لو لم يثبت المدعي لثبت نقيضه مع الكبرى مثلًا ولو ثبتا ثبت نقيض الصغرى الصادقة لكنه بط ونحن نستعمله لبيان بطلان التالي الذي هو نقيض المدعي ونقول لو لم يثبت المدعي لثبت نقيضه لكنه بطل لأنه لو ثبت مع الكبرى ولو ثبتا ثبت نقيض الصغرى والبعض لم يتعرضوا لذلك القياس أصلًا قائلين لو لم يثبت المدعي لثبت نقيضه لكنه مما ينافي المقدمة المسلمة وهي الكبرى مثلًا لأن اجتماعهما يستلزم نقيض الصغرى الصادقة والمقصود وأيًّا كان فهو قياس استثنائي يستثنى فيه نقيض التالي ومقدم شرطيته عدم صدق المطلوب لكن المناسب لمغزى من لم يذكر الاقتراني الشرطي هو الثالث، الضرب الثاني ما يكون بغير شرط ويسمى استثنائيًا منفصلًا ويسمى المشتملة على الانفصال شرطية مفصلة والأخرى استثنائية وشرط إنتاجه بعد كلية