ومثال ذلك كل ب ج

وكل ب ا

يلزم منه أن كل ج ا

فكل وفي نسخة وكل واحد من قولنا

كل ج ب

وكل ب ا

مقدمة

و ج و ب و ا حدود

وقولنا وكل وفي نسخة فكل ج ا نتيجة

والمركب من المقدمتين على نحو ما مثلناه حتى لزم عنه وفي نسخة منه هذه النتيجة هو القياس

وليس من شرطه أن يكون مسلم القضايا وفي نسخة المقدمات حتى يكون قياسا بل من شرطه أن يكون بحيث إذا سلمت قضاياه لزم منها وفي نسخة عنها قول آخر

فهذا شرطه في قياسته وفي نسخة فهذه شرط في قياسه فربما كانت مقدماته غير واجبة التسليم ويكون القول وفي نسخة بزيادة فيه قياسا لأنه بحيث لو سلم ما فيه على غير واجبة وفي نسخة واجبه كان يلزم عنه قول آخر

وجميع ذلك ليست بحدود بل الحدود هي الذاتية الباقية بعد التحليل إلى أجزاء القضية

وإنما سميت حدودا لأنها تشبه حدود النسب المذكورة في الرياضيات وهي الأركان التي تقع النسبة بينها

قوله