بعض الإنسان ليس بجسم، و كلّ حيوان (جسم، فكلّ انسان جسم) لزم:

بعض الحيوان ليس بجسم؛ وهو نقيض المقدمة الكبرى.

و أمّا قياس الخلف؛ فعبارة عن قول قياسي يبيّن صحّة المطلوب بابطال نقيضه.

و هو مؤلّف من قياسين:

أحدهما اقتراني مؤلّف من مقدّمتين: صغراه شرطيّة مقدمها مفروض كذب المطلوب، وتاليها مفروض صدق نقيضه؛ وكبراه مقدّمة (حمليّة) مفروضة الصّدق، فيلزم من اقترانها بتالي الصغرى