طبقة
« 1 » واجب أن يوجد * ليس بواجب أن يوجد ممتنع أن لا يوجد * ليس بممتنع أن لا يوجد ليس بممكن أن لا يوجد العامي * ممكن أن لا يوجد العامي الموجبات متلازمة والسالبات متلازمة
طبقة أخرى
واجب أن لا يوجد * ليس بواجب أن لا يوجد ممتنع أن يوجد * ليس بممتنع أن يوجد ليس بممكن أن يوجد العامي * ممكن أن يوجد العامي الموجبات متلازمة والسالبات متلازمة وأما الممكن الخاصي فلا يلزمه شئ منعكسا عليه « 2 » إلا من بابه . فقولنا ممكن أن يوجد يلزمه ممكن أن يوجد ، ويلزم نقيضه نقيضه ، « 3 » فيلزم قولنا : ليس بممكن أن يوجد الخاصي قولنا : ليس بممكن أن لا يوجد الخاصي . فطبقات المتلازمات إذن ست ، ولكل واحد منها لوازم غير متعاكسة ، ولنذكرها في كل طبقة .
( ا ) طبقة الواجب أن يوجد وما معها .
( ب ) وأما طبقة ليس بواجب فلا يلزمها « 4 » شئ غير « 5 » ما ينعكس عليها .
( ج ) « 6 » وأما طبقة واجب أن لا يوجد فيلزمها :
ليس « 7 » بممتنع أن يوجد * ليس بممتنع أن لا يوجد ممكن أن يوجد العامي * ممكن أن لا يوجد العامي
هامش
( 1 ) اعتمدنا في إثبات هذا الجدول على نسخة ب .
( 2 ) عليه : ساقطة من عا .
( 3 ) نقيضه نقيضة : نقيضه سا .
( 4 ) فلا يلزمها : ولا يلزمها م
( 5 ) غير : ساقطة من س .
( 6 ) ج : الثالث سا ؛ ساقطة من م .
( 7 ) اعتمدنا في إثبات هذا الجدول على نسخة ب .