إذا وضعت: يلزم من قولنا «ممكن أن يوجد» — قولنا «محتمل أن يوجد» (وهذا ينعكس على ذلك)، ويلزم منه ويلزمه أيضا — قولنا «ليس ممتنعا أن يوجد» وقولنا «ليس واجبا أن يوجد». ويلزم قولنا «ممكن ألا يوجد» وقولنا «محتمل ألا يوجد» — قولنا «ليس واجبا ألا يوجد» وقولنا «ليس ممتنعا أن ألا يوجد». ويلزم قولنا «لا يمكن أن يوجد» وقولنا «لا يحتمل أن يوجد» — قولنا 〈واجب〉 ألا يوجد، وقولنا «ممتنع أن يوجد». ويلزم قولنا «لا يمكن ألا يوجد» وقولنا «لا يحتمل ألا يوجد» — قولنا «واجب أن يوجد» وقولنا «ممتنع ألا يوجد».

فلنتأمل ما نصفه من هذا الرسم الذى نرسمه:

〈الترتيب الأول〉 〈الترتيب الثالث〉 (١) ممكن أن يوجد. (١) ليس ممكنا أن يوجد.

(٢) محتمل أن يوجد. (٢) ليس محتملا أن يوجد.

(٣) ليس ممتنعا أن يوجد. (٣) ممتنع أن يوجد.

(٤) ليس واجبا أن يوجد. (٤) واجب ألا يوجد.

〈الترتيب الثانى〉 〈الترتيب الرابع〉

(١) ممكن ألا يوجد. (١) ليس ممكنا ألا يوجد.

(٢) محتمل ألا يوجد. (٢) ليس محتملا ألا يوجد.

(٣) ليس ممتنعا ألا يوجد. (٣) ممتنع ألا يوجد.

(٤) ليس واجبا ألا يوجد. (٤) واجب أن يوجد.

صفحه ۹۰