إلا شيئان فقط: ممكن أن يكون، و ممكن ان لا يكون. و نقايضهما لا متعاكسان‌ [1]؛ و ليس‌ [2] يلزمهما، من سائر الجهات، شي‌ء لزوم معاكس‌ [3].

و اما الممكن أن يكون، بالمعنى العامى، فلا يلزمه ممكن أن لا يكون؛ على ما أوضحناه قبل.

و أما اللوازم‌ [4] التي لا تنعكس، فان واجبا [5] أن يوجد، يلزمه ليس بممتنع أن يوجد، و ما فى طبقته؛ مثل ليس بواجب أن لا يوجد، و ممكن أن يوجد العامى، و [6] ليس بممكن أن يوجد الخاصى‌ [7]، لانه واجب لا ممكن، و ليس بممكن أن لا يوجد الخاصى، لانه ممتنع أن لا يوجد، لا [8] ممكن حقيقى أن لا يوجد؛ و كذلك الممتنع أن يوجد، يلزمه سلب الواجب أن يوجد، و ما فى طبقته، و سلب الممكنين الحقيقيين‌ [9]، أعنى‌ [10] المعدول و المحصل؛ و الممكن أن يكون الحقيقى، يلزمه ممكن أن يكون العامى، و ما فى طبقته؛ و ممكن أن لا يكون العامى، و ما فى طبقته؛ و يتوصل من هذا، الى باقى ما بقى‌

[1] - ب: نقايضهما لا؛ در د، ها، ط، رم، ق 1 و 2 «لا» ندارد؛ هج:

و نقيضهما متضادان، در هامش: متعاكسان.

[2] - د، ط: لا

[3] - ب: لزوم معاكس؛ ط: لزوما متعاكسا؛ د، ها، هج، ق: لزوما معاكسا

[4] - ب: الوازم‌

[5] - ب: واجب؛ آن ديگرها: واجبا.

[6] - ها «و» ندارد

[7] - ط: لا الخاصى‌

[8] - ها: و لا

[9] - ط، ها، هج: الممكنتين الحقيقيتين. ب، د، ق: الممكنين الحقيقيين.

[10] - ب: عن.