ج 4 : هذا الاستدلال مركّب من قياسين : أحدهما اقتراني حملي مركب موصول ، والآخر استثنائي انفصالي ، وإليك القياسين من خلال التالي :
القضايا المذكورة - قضايا مفاد هل المركبة « 1 »
القضايا التي هي مفاد هل المركبة مجرى لقاعدة الفرعية .
- القضايا المذكورة مجرى لقاعدة الفرعية .
ثمَّ نأخذ النتيجة لتكون صغرى في القياس التالي :
القضايا المذكورة - مجرى لقاعدة الفرعية .
كل قضية تكون مجرى لقاعدة الفرعية - لابدّ من وجود موضوعها .
- القضايا المذكورة - لابدّ من وجود موضوعها .
ثمَّ يأتي دور القياس الاستثنائي الانفصالي :
القضايا المذكورة موضوعها موجود إمّا في الخارج وإمّا في صقع آخر من الوجود ، لكنه غير موجود في الخارج ، فهو موجود في صقع آخر من الوجود ، نسمّيه الذهن .
ويمكن عرض الاستدلال المذكور من خلال قياس اقتراني حملي بسيط ، وآخر استثنائي هو نفس الاستثنائي المذكور آنفاً .
أما الأول :
القضايا المذكورة - قضايا موجبة صادقة .
كل قضيّة موجبة صادقة - موضوعها موجود .
- القضايا المذكورة - موضوعها موجود .
وأمّا الثاني فقد تقدّم آنفاً .
ج 5 : يمكن عرض الاستدلال من خلال الطريقة التالية :
الفرض : كل ب ح - قضية موجبة صادقة .
هامش
( 1 ) مفاد قاعدة الفرعية : ثبوت شيء لشيءٍ فرع ثبوت المثبت له .