فإن السالبة « 1 » الكلية تصدق إذا كانوا كلهم جائرين أو كلهم متوسطين أو بالقوة أو غير قابلين أو معدومين أو خلط ليس فيهم عادل ، وتكذب « 2 » إذا كان بعضهم « 3 » عادلا والباقي كيف كان . وقولنا بعض الناس يوجد عادلا ، « 4 » يصدق إذا كان بعض « 5 » عادلا والآخرون كيف كانوا ، ويكذب إذا لم يكن فيهم عادل كيف كانوا . وأما قولنا : لا واحد من الناس يوجد جائرا ، فإنه يصدق إذا كانوا كلهم عادلين أو متوسطين أو بالقوة أو غير قابلين أو معدومين أو خلطا ليس فيهم جائر ولا عادل البتة ، ويكذب « 6 » إذا كان بعضهم جائرا ، ومقابله يصدق إذا كان « 7 » بعضهم جائرا « 8 » كائنا « 9 » ما كان الآخرون . فالعدمية الموجبة هاهنا لا تلزم السالبة البسيطة ، ولا تلزمها السالبة البسيطة فإنه إذا « 10 » كان بعض الناس جائرا أو بعض عادلا « 11 » « 12 » والباقون كيف « 13 » كانوا من غير أن يكونوا عادلين « 14 » صدقت الموجبة العدمية « 15 » وكذلك « 16 » السالبة البسيطة . وإذا « 17 » كان كل الناس معدومين أو متوسطين أو بالقوة أو غير قابلين « 18 » أو خلطا ليس فيهم جائر ولا عادل ، « 19 » صدقت « 20 » السالبة ، ولم « 21 » تصدق الموجبة الجزئية العدمية « 22 » . وإذا كان بعض الناس جائرا وبعضهم عادلا صدقت الموجبة الجزئية ، « 23 » وكذبت « 24 » السالبة البسيطة « 25 » . فإذا « 26 » لا تلازم « 27 » بين « 28 » هذين فلا تلازم « 29 » بين نقيضها ، « 30 » وإلا لكان بينهما عكس ذلك التلازم .

--> ( 1 ) السالبة : ساقطة من سا . ( 2 ) وتكذب : أو تكذب س ( 3 ) بعضهم : بعض ع ، ى . ( 4 ) يوجد عادلا : ساقطة من سا ، عا ، م ، ن ( 5 ) بعض ( الثانية ) : ساقطة من عا ، م . ( 6 ) ويكذب : ويكون ع ( 7 ) ومقابله يصدق إذا كان : ساقطة من ع ( 8 ) بعضهم جائرا : ساقطة من ع ( 9 ) كائنا : كان عا . ( 10 ) إذا : إن ع ، ى . ( 11 ) أو بعض عادلا : ساقطة من ع ، ن . ى ( 12 ) عادلا : ساقطة من ب ، د ( 13 ) كيف : + ما ه . ( 14 ) والباقون . . . عادلين : ساقطة من د ، سا ، ع ، عا ، م ، ن . ( 15 ) العدمية : الجزئية سا ( 16 ) وكذلك : وكذبت س ، سا ؛ وكذا ن ( 17 ) وإذا : فإذا د ، س ، ع ، عا ، م ، ن ، ه ، ى . ( 18 ) قابلين : قابل د ، سا ، م ، ن ، ى ( 19 ) ولا عادل : ساقطة من د ، عا ، م ، ن ، ى ( 20 ) صدقت : صدق د . ( 21 ) ولم : فلم ع ( 22 ) العدمية : ساقطة من د ، س ، عا ، م ، ن ، ه . ( 23 ) الجزئية : العدمية ب ، ع ، عا ، ى ( 24 ) وكذبت : وكذلك عا ( 25 ) وإذا كان . . السالبة البسيطة : ساقطة من سا . ( 26 ) فإذ : فإذن سا ( 27 ) لا تلازم : لا تلزم س ( 28 ) بين ( الأولى والثانية ) : من ع ( 29 ) فلا تلازم : فلا تلزم س . ( 30 ) نقيضها : نقيضهما س ، ع ، عا ، ه .