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

ممكن أن يوجد * ليس ممكنا « 1 » أن يوجد ليس واجبا أن يوجد * واجب أن لا يوجد ليس ممتنعا أن يوجد * ممتنع أن يوجد ممكن أن لا يوجد * ليس ممكنا أن لا يوجد ليس واجبا أن لا يوجد * واجب أن يوجد ليس ممتنعا أن لا يوجد * ممتنع أن لا يوجد ( 71 ) فإذا تأملنا هذا اللزوم المشهور وتعقبناه / وجدنا قولنا ممتنع وقولنا ليس بممتنع يلزمان قولنا ممكن وليس بممكن - أعنى أن النقيض منها يلزم النقيض ، أي الموجب فيها يلزم السالب - إلا أن ذلك على القلب - أعنى أن السالب من الممتنع يلزم الموجب من الممكن والموجب من الممتنع يلزم السالب من الممكن . ( 72 ) فأما القضايا الواجبة ، فإن اللازمة / منها للممكنة ليس هو النقيض بل الضد - أعنى ضد الموجبة الواجبة التي تناقض السالبة الواجبة ، [ وهي قولنا واجب أن لا يوجد ] « 2 » - وذلك أنه ليس سلب [ هذه المقدمة ] « 3 » - [ التي هي ] « 4 » قولنا واجب أن لا يوجد اللازم عن قولنا ليس ممكنا أن يوجد - قولنا ليس واجبا أن يوجد - الذي هو لازم عن قولنا ممكن أن يوجد [ على ما وضع ] « 5 » . « 6 »