معيّنا وصف « 1 » بمحمولين ، علمنا انّ شيئا « 2 » من أحد المحمولين موصوف بالمحمول الآخر ضرورة ، مثل « ان يكون زيد حيوانا وزيد انسانا » علمنا انّ شيئا من الحيوان انسان ، بل وشيء « 3 » من الانسان حيوان على أىّ طريق كان . وإذا كان هذا الشيء المعيّن معنى عامّا ، فيجعل « 4 » مستغرقا ، كقولنا « 5 » « كلّ انسان حيوان وكلّ انسان ناطق . » فصار هذا الحصر لشيء « 6 » معيّن موصوف بالأمرين . فيلزم ان يكون شيء من أحدهما هو الآخر . وإذا كان بعض من شيء موصوفا بأحد المحمولين أو كليهما وعيّن ، فجعل مستغرقا كان « 7 » هذا حاله . ويجعل السلب أيضا جزء المحمول ؛ فينتقل إلى النتيجة ، ويكون الأوسط موصوفا بالطرفين في جميع المواضع في هذا السياق دون الحاجة إلى سالب . وإذا كان المقدّمتان فيهما السلبان فجعل « 8 » السلبان جزء المحمولين ، « 9 » صحّ أيضا كما في قولك « كلّ انسان هو لا طاير « 10 » وكلّ انسان هو « 11 » لا فرس » جاءت النتيجة موجبة ، وهو انّ شيئا ممّا يوصف بأنّه لا طاير « 12 » هو لا فرس . وان كان احدى المقدّمتين مستغرقة والأخرى غير مستغرقة بعد الشركة في الموضوع ، يجوز ؛ فانّ البعض « 13 » داخل في الكلّ ، فيتيقّن « 14 » كون شيء واحد « 15 » موصوفا بالمحمولين ، ويلزم اتّصاف شيء من أحد المحمولين بالآخر . ولا يلزم اتّصاف « 16 » كلّ واحد من المحمولين بالآخر في هذا السياق ، فانّ المحمولين أو أحدهما ربّما يكون

--> ( 1 ) وصف : يوصف R ( 2 ) شيئا : شيئا واحدا T ( 3 ) وشيء : وشيئا EI ( 4 ) فيجعل : فينجعل R ( 5 ) كقولنا : كقولك H ( 6 ) لشيء : شيء T ( 7 ) كان TMRF : فكان HEI ( 8 ) فجعل : فيجعل R ( 9 ) جزء المحمولين HRI : جزأى المحمولين E جزء المحمول THaMF ( 10 ) طاير : طير HI ( 11 ) هو TEMF : فهو HRI ( 12 ) طاير : طير HI ( 13 ) البعض : بعض H ( 14 ) فيتيقن HEI : فتيقن MF فيتعين R فتعين T ( 15 ) شيء واحد : الشيء الواحد R الشيء E ( 16 ) اتصاف ( في الموضع الثاني ) : أيضا F