كقولنا : « كلّما كان كلّ ا ب ، فبعض ب ا » و « إمّا أن يكون كلّ ا ب وإمّا أن لا يكون بعض ب ا » . أو موضوع المقدّم محمول التالي فقطّ كقولنا : « كلّما كان كلّ إنسان حيوانا ، فبعض الجسم إنسان » و « إمّا أن يكون « 1 » كلّ إنسان حيوانا وإمّا أن لا يكون بعض الجسم إنسانا » . أو محمول المقدّم موضوع التالي فقطّ كقولنا : « كلّما كان كلّ إنسان حيوانا ، فكلّ حيوان حسّاس » و « إمّا أن يكون كلّ إنسان حيوانا وإمّا أن لا يكون كلّ حيوان حسّاسا » .
أو لا يتشاركان أصلا كما تقول : « كلّما كانت الشمس طالعة ، فالنهار موجود » و « إمّا أن تكون الشمس طالعة وإمّا أن لا يكون النهار موجودا » .
[ 57 ] سرّ
الشرطيّة : إمّا أن تتركّب من حمليّتين ، أو متّصلتين ، أو منفصلتين ، أو حمليّة ومتّصلة ، أو حمليّة ومنفصلة ، أو متّصلة ومنفصلة .
ولمّا تميّز مقدّم المتّصلة عن التالي بالطبع ، انقسمت المختلفات الثلاثة إلى قسمين ، فصارت أقسامها تسعة : الثلاثة البسيطة ، وحمليّة المقدّم متّصلة التالي ، وبالعكس ، وحمليّة المقدّم منفصلة التالي ، وبالعكس ، ومتّصلة المقدّم منفصلة التالي ، وبالعكس .
وأمّا المنفصلات فإنّما تتميّز أجزاؤها بالوضع ، فلا تتعدّد أقسام المختلفات فيها باختلاف الأوضاع ، فإنّ معاندة أحد الجزءين للآخر هي معاندة الآخر له .
[ 58 ] سرّ
إيجاب الشرطيّة وسلبها عبارة عن إيجاب الاتّصال والانفصال ورفعهما ، لا إيجاب الأجزاء وسلبها ، وكذلك صدقها وكذبها وكلّيّتها وجزئيّتها وشخصيّتها وإهمالها ، فالموجبة والسالبة قد تتركّب كلّ واحدة منهما عن موجبتين ، وعن سالبتين ، وعن خلط .
هامش
( 1 ) . في « ت » : أن لا يكون .