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

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