منطق الملخص — الصفحة ٢٣٤

في المحرّفات

المنفصلة « 1 » لمّا منعت ارتفاع الجزئين واجتماعهما وجب من فرض ارتفاع أيّهما كان ثبوت الآخر وبالعكس . وهذه المتصلة الموجبة يلزمها منفصلة سالبة ، فإنّه إذا كان نقيض أيّهما كان يلزمه ثبوت الآخر وبالعكس . فحينئذ لا يكون بين « 2 » نقيض أيّهما كان وثبوت الآخر معاندة ، وحينئذ يصدق أنّه ليس البتة إمّا أحد جزئي المنفصلة ، أو نقيض الجزء « 3 » الآخر « 4 » . لكن لا يلزم من صدق هذه المنفصلة صدق تلك المتصلة لأنّه لا يلزم من ارتفاع المعاندة بين الشيئين ثبوت الملازمة بينهما .

في المحرّفات

في المحرّفات

ف « آ » « 5 » ، إنّها مثل قولنا « لا يكون آ ب ويكون ج د » وهي من المنفصلات في قوة « إما أن يكون « 6 » آ ب وإمّا أن يكون ج د » ومن المتصلات في قوة « إن كان آ ب فلا يكون ج د » .

« ب » « 7 » ، ومثل « لا يكون ج د أو يكون آ ب » وهي من المنفصلات في قوة « إما أن يكون ج د وإمّا أن يكون آ ب » ومن المتصلات في قوة « كلما كان ج د فآب » ، وهي بالمنفصلة أولى لا لتحاقها بها من غير تغيّر « 8 » .

« ج » ، ومثل « ليس يكون ج د إلّا ويكون « 9 » آ ب » وهي « 10 » للحصر الكلي .

( 1 ) مل : الموجبة .

( 2 ) دا : - بين .

( 3 ) دا : جزء .

( 4 ) مل : - الآخر .

( 5 ) آك ، دا ، مل : - فآ .

( 6 ) آك ، دا ، مل ، مص : أن لا يكون .

( 7 ) مل : - ب .

( 8 ) آك ، مل : تغيير .

( 9 ) آك ، دا ، مل : - يكون .

( 10 ) آك ، دا ، مل : هو .