هو ما يلزم عن كذب أحد المتقابلين، صدق المقابل الآخر.

(انظر: ش/ العبارة/ 205 .. القياس/ ق 154) هو الذي يبيّن صدق نقيض المقدمة المشكوك فيها من مقدمتي القياس؛ وتجعل هي نتيجة القياس.

(انظر: أدلة/ ق 110) أكثر ما يستعمل (الخلف) في إبطال الأقاويل والمعارضات.

(انظر: الخطابة/ 51) قارن:

الآمدي/ ق 7 السيوطي/ ق 21

ما ألّف عن مقدمتين كبراهما شرطية وصغراهما جزئية، وهو على ضربين متصل ومنفصل ... فالشرطية مركّبة من جزءين أحدهما المقدّم والآخر التالي.

والصغرى من المقدمتين هي جزئية قرن بها حرف الاستثناء؛ وهي بعينها أحد جزئي القول الشرطي.

(انظر: أدلة/ ق 109) قارن:

هو الذي يؤلّف من سالبتين أو من جزئيتين أو مهملتين ... أو ما كان