بعض الإنسان ليس بجسم « 306 » ، و « 307 » كلّ حيوان « 308 » ( جسم ، فكلّ انسان جسم ) « 309 » لزم : بعض الحيوان ليس بجسم ؛ وهو نقيض المقدمة الكبرى . وأمّا قياس الخلف ؛ فعبارة عن قول قياسي « 310 » يبيّن « 311 » صحّة المطلوب بابطال نقيضه . وهو مؤلّف « 312 » من قياسين : أحدهما « 313 » اقتراني مؤلّف « 314 » من مقدّمتين : صغراه « 315 » شرطيّة « 316 » مقدمها مفروض كذب المطلوب ، وتاليها « 317 » مفروض صدق نقيضه ؛ وكبراه مقدّمة ( حمليّة ) مفروضة الصّدق ، فيلزم من اقترانها بتالي « 318 » الصغرى

--> ( 306 ) س ، د ، ل ، م : بعض الانسان جسم ليس بحجر . ( 307 ) س ، د ، ل ، م : وكان . ق : وكذلك . ( 308 ) ل ، م : انسان حيوان . ( 309 ) + ق . ( 310 ) س ، د : ذاتي . ( 311 ) س ، د ، ق : بين . ( 312 ) س ، د ، ق : مولف . ( 313 ) ق : إحداهما . ( 314 ) س ، د ، ق : مولف . ( 315 ) س ، د : مقدمتين صغري . ق : مقدمتي صغراه . ( 316 ) س ، د : كالشرطية . ( 317 ) س ، د ، ق : ثالثها . ( 318 ) س ، د : اقترانها اقترانها مثال .