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