تلخيص كتاب العبارة — صفحة 111

وذلك أنهما قد يمكن أن يصدقا على شئ واحد بعينه ، فإن ما هو واجب أن لا يوجد يصدق عليه ليس واجبا أن يوجد . بل قولنا واجب أن لا يوجد ضد قولنا واجب أن يوجد - الذي هو نقيض قولنا ليس واجبا « 1 » أن يوجد . « 2 » وإذا كان هذا هكذا فلم يلزم هاهنا النقيض للنقيض . وإنما لزم النقيض ضد النقيض - أعنى أنه لم يلزم عن سالبة الممكن موجبة الواجب التي هي نقيض سالبة الواجب التي « 3 » وضعناها لازمة لموجبة الممكن . وإنما لزم عن سالبة الممكن ضد الواجبة - وهي قولنا واجب أن لا يوجد « 4 » . ( 73 ) والسبب في أن لزم الممكنة السالبة البسيطة [ موجبة الواجب ] « 5 » المعدولة ولزم سالبة الممكن المعدولة موجبة الواجب البسيطة أن الممتنع هو ضد الواجب الوجود ، وإن كانت قوتهما في الضرورية « 6 » قوة واحدة فلما كانت السالبة الممكنة البسيطة تلزمها الممتنعة [ الموجبة البسيطة ] « 7 » وكانت الممتنعة [ الموجبة البسيطة « 8 » ضد الموجبة الواجبة البسيطة ، لزم ضرورة أن يتبعها ضد الموجبة الواجبة البسيطة - وهي الموجبة الواجبة المعدولة . ولما كانت السالبة الممكنة المعدولة تلزمها « 9 » الممتنعة المعدولة الموجبة « 10 » وكانت الممتنعة المعدولة الموجبة « 11 » ضد الواجبة المعدولة الموجبة « 12 » وجب أن يلزمها من الواجب ضد الواجبة المعدولة الموجبة « 13 » - وهي الواجبة البسيطة الموجبة « 14 » .