ب فج د» هو «أن ج د» لا بدّ منه عند وجود «ا ب» و «أن ا ب» لا يتصوّر وجوده دون «ج د» فأما «أن ا ب» لا بدّ منه عند وجود «ج د» أولا لا يتصوّر وجود «ج د» دون «ا ب» فليس واجبا من صورة المقدمة بل من مادة دون مادة.

و لو راعينا النتائج اللازمة بحسب المواد الخاصة، لحكمنا فى الشكل الثالث: بأنه قد ينتج كليا ان كان المحمول فيه مساويا للموضوع، و حكمنا فى الثالث و الرابع من الاوّل: بكلية النتيجة اذا كان موضوع الصغرى مساويا للمحمول، و حكمنا بانعكاس الكلى الموجب كليا أيضا فى بعض المواد المتساوية الحمل و الوضع لكن ذلك أمر خارج عن مفهوم القضايا و المقدمات من حيث صورها و لا التفات إليه.

و أما ان كانت الشرطية منفصلة فلا يخلو: اما أن تكون حقيقية و هى التى تمنع الخلو و الاجتماع معا أو غير حقيقية.

و الحقيقية اما أن تكون ذات جزءين فقط أو ذات أجزاء متناهية أو غير متناهية، فان كانت ذات جزءين فاستثناء عين أيهما كان ينتج نقيض الآخر، و استثناء نقيضه ينتج عين الآخر مثاله: «هذا العدد اما أن يكون زوجا أو فردا لكنه زوج» فينتج «أنه ليس بفرد لكنه فرد فليس بزوج لكنه ليس بزوج فهو فرد لكنه ليس بفرد فهو زوج» .

و ان كانت ذات أجزاء متناهية ينتج استثناء عين كل واحد نقيض البواقى، أو فرد أوّل، أو فرد مركب لكنه زوج الزوج، فينتج اما نقيض البواقى و هو:

«انه ليس بزوج الفرد و لا زوج الزوج و الفرد و لا فردا أول و لا مركبا.

أو منفصلة سالبة من البواقى و هى: «ليس العدد اما زوج الفرد أو زوج الزوج و الفرد أو الفرد الاوّل أو المركب» .

و ان استثنيت نقيض واحد و قلت: «لكنه ليس بزوج الزوج» فينتج «أنه اما زوج الفرد أو زوج الزوج و الفرد أو فرد أوّل أو فرد مركب» .