بعض الإنسان ليس بجسم « 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 ) س ، د : اقترانها اقترانها مثال .