[١] واجب أن يوجد^ ليس بواجب أن يوجد ممتنع أن لا يوجد^ ليس بممتنع أن لا يوجد ليس بممكن أن لا يوجد العامى^ ممكن أن لا يوجد العامى الموجبات متلازمة و السالبات متلازمة

طبقة أخرى‌

واجب أن لا يوجد^ ليس بواجب أن لا يوجد ممتنع أن يوجد^ ليس بممتنع أن يوجد ليس بممكن أن يوجد العامى^ ممكن أن يوجد العامى الموجبات متلازمة و السالبات متلازمة و أما الممكن الخاصى فلا يلزمه شى‌ء منعكسا عليه‌[٢] إلا من بابه. فقولنا ممكن أن يوجد يلزمه ممكن أن يوجد، و يلزم نقيضه نقيضه،[٣] فيلزم قولنا: ليس بممكن أن يوجد الخاصى قولنا: ليس بممكن أن لا يوجد الخاصى. فطبقات المتلازمات إذن ست، و لكل واحد منها لوازم غير متعاكسة، و لنذكرها فى كل طبقة.

(ا) طبقة الواجب أن يوجد و ما معها.

(ب) و أما طبقة ليس بواجب فلا يلزمها[٤] شى‌ء غير[٥] ما ينعكس عليها.

(ج)[٦] و أما طبقة واجب أن لا يوجد فيلزمها:

ليس‌[٧] بممتنع أن يوجد^ ليس بممتنع أن لا يوجد ممكن أن يوجد العامى^ ممكن أن لا يوجد العامى‌

[١] اعتمدنا فى إثبات هذا الجدول على نسخة ب.

[٢] عليه: ساقطة من عا.

[٣] نقيضه نقيضة: نقيضه سا.

[٤] فلا يلزمها: و لا يلزمها م‌

[٥] غير: ساقطة من س.

[٦] ج: الثالث سا؛ ساقطة من م.

[٧] اعتمدنا فى إثبات هذا الجدول على نسخة ب.