فإن السالبة « 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 ) نقيضها : نقيضهما س ، ع ، عا ، ه .