نام کتاب : النجاة نویسنده : ابن سينا جلد : 1 صفحه : 88
و قد يقع بين المنفصل و بين الحملى الواحد اقتران. و الطبيعى منه أن
تكون الحملية، هى الصغرى؛ و تكون موجبة، و [1] محمولها موضوع فى الانفصال كله؛ و تكون الشرطية كلية، و على قياس
الشكل الأول. كقولك كل كم [2] كثير [3]
معدود، و كل معدود [4] اما زوج و اما فرد، فكل كم كثير [5] اما زوج و اما فرد و يكون [6] تاليفها اربعة. و قد يقع بين منفصل [7] صغرى و حمليات كبرى و تكون الحمليات [8]، بعدد اجزاء الانفصال؛ و يكون [9] شيء مشترك لكل حملى مع كل جزو [10]؛ و يكون جميع أجزاء المنفصل مشتركة فى
حد [11]. و حينئذ اما ان يكون على سبيل تأليف
الشكل الأول؛ و يسمى [12]
الاستقراء التام؛ كقولك: كل متحرك اما أن يكون حيوانا، و اما ان يكون نباتا، و اما
أن يكون جمادا؛ و كل حيوان جسم، و كل نبات جسم، و كل جماد جسم؛ فاذا كل متحرك جسم [13]. و يجب أن تكون المنفصلة و أجزاؤها
موجبة، و الحمليات كليات.