الشفاء المنطق (القياس) - ابن سينا - الصفحة ٣١٤
ليس البتة إما أن يكون هذا الشىء خلاء، و إما أن يكون زوجا؛ و كلما كان زوجا فهو ينقسم بمتساويين.[١] و اجعل بدل الخلاء زوج الزوج.
ضروب ذلك و المتصلة سالبة: من ذلك قولك[٢] دائما: إما أن يكون ه ز، و إما أن يكون ج د؛ و ليس البتة إذا كان ج د، فآ ب. تنعكس المنفصلة إلى الاتصال: كلما لم يكن ه ز، كان ج د؛ و أنتج:[٣] أنه ليس البتة إذا لم يكن ه ز، فآ ب؛ و كذلك ليس إما أن يكون ه ز، و إما أن يكون آ ب؛ و إن كانت المتصلة جزئية، فاصنع ما صنعت بنظيرتها، و المتصلة موجبة.
التأليفات على هذا المنهاج، و المنفصلة غير حقيقية، و الشركة فى الجزء الموجب[٤].
ضروب ذلك من موجبتين: دائما إما أن لا يكون ه ز، و إما أن يكون ج د؛ و كلما كان ج د، فآ ب؛ ينتج: كلما كان ه ز، كان آ ب؛ و ليس البتة إما أن يكون ه ز، و إما أنت يكون آ ب. و ذلك لأن[٥] المنفصلة تصير متصلة هكذا: كلما كان ه ز، فج د. و كذلك إن كانت جزئية. و إن كانت المتصلة جزئية فلا تجب[٦] له نتيجة. مثاله من الحدود[٧]: دائما إما أن لا يكون هذا زوجا، أو يكون عددا؛ و قد يكون إذا كان عددا، فهو زوج الزوج. و أيضا إذا[٨] كان عددا، فهو فرد الفرد[٩].
ضروب ذلك و المنفصلة سالبة، هذه لا تنتج.[١٠] و الحدود: ليس البتة إما أن لا يكون هذا غير ناطق، و إما أن يكون إنسانا؛ و كلما كان إنسانا، كان حيوانا. ثم اجعل بدل غير الناطق: الخلاء.
[١] بمتساويين: بمساويين سا، م.
[٢] قولك: قوله ب، سا، م.
[٣] و أنتج: فأنتج ه.
[٤] الموجب: و الموجب سا.
[٥] لأن: أن ع.
[٦] فلا تجب: و لا تجب ع
[٧] من الحدود: فى الحدود س؛ و الحدود سا.
[٨] إذا (الثانية):إن ع.
[٩] الفرد: ساقطة من س.
[١٠] لا تنتج:+ فيه ع.