وعلى هذا المثال سلب قولنا: «واجب ضرورة أن يوجد» ليس هو قولنا: «واجب ضرورة ألا يوجد» بل قولنا: «ليس واجبا ضرورة أن يوجد». وأما سلب قولنا: «واجب ضرورة ألا يوجد» فإنه قولنا: «ليس واجبا ضرورة ألا يوجد»؛ وأيضا سلب قولنا: «ممتنع أن يوجد» ليس هو قولنا: «ممتنع ألا يوجد» بل قولنا «ليس ممتنعا أن يوجد». فأما سلب قولنا «ممتنع ألا يوجد» فإنه قولنا «ليس ممتنعا ألا يوجد».
وبالجملة، فإنما ينبغى كما قلنا أن يتنزل قولنا «يوجد» و«لا يوجد» منزلة الموضوع، ويلزم الإيجاب والسلب هذه المعانى: ثم تقرن بقولنا «يوجد» وقولنا «لا يوجد».
فإن هذه الأحكام ينبغى أن يعتقد أنها الأحكام المتعاندة:
ممكن... ... لا ممكن.
محتمل... لا محتمل.
ممتمع... لا ممتنع.
واجب... لا واجب.
حق... لا حق.
[chapter 13] 〈نسق الموجهات〉
فأما اللوازم فهكذا يجرى نسقها:
Page 89