المبين في اصطلاحات الحكماء و المتكلمين - الآمدي، علي بن محمد - الصفحة ٣٣٤ - الفصل الثّاني في شرح (الألفاظ و) معانيها

بعض الإنسان ليس بجسم‌ [٣٠٦]، و [٣٠٧] كلّ حيوان‌ [٣٠٨] (جسم، فكلّ انسان جسم) [٣٠٩] لزم:

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

و أمّا قياس الخلف؛ فعبارة عن قول قياسي‌ [٣١٠] يبيّن‌ [٣١١] صحّة المطلوب بابطال نقيضه.

و هو مؤلّف‌ [٣١٢] من قياسين:

أحدهما [٣١٣] اقتراني مؤلّف‌ [٣١٤] من مقدّمتين: صغراه‌ [٣١٥] شرطيّة [٣١٦] مقدمها مفروض كذب المطلوب، و تاليها [٣١٧] مفروض صدق نقيضه؛ و كبراه مقدّمة (حمليّة) مفروضة الصّدق، فيلزم من اقترانها بتالي‌ [٣١٨] الصغرى‌

[٣٠٦] س، د، ل، م: بعض الانسان جسم ليس بحجر.

[٣٠٧] س، د، ل، م: و كان. ق: و كذلك.

[٣٠٨] ل، م: انسان حيوان.

[٣٠٩] + ق.

[٣١٠] س، د: ذاتي.

[٣١١] س، د، ق: بين.

[٣١٢] س، د، ق: مولف.

[٣١٤] س، د، ق: مولف.

[٣١٣] ق: احداهما.

[٣١٥] س، د: مقدمتين صغري. ق: مقدمتي صغراه.

[٣١٦] س، د: كالشرطية.

[٣١٧] س، د، ق: ثالثها.

[٣١٨] س، د: اقترانها اقترانها مثال‌.