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