الثانية (استخراج قضيتين صادقتين بعد الفرض) فانه بعد الفرض) فانه بعد الفرض المذکور نستطيع أن نحصل على قضيتين صادقتين قطعا :

١ ـ قضية موجبة کلية موضوعها الاسم المفروض (د) ومحمولها موضوع القضية الجزئية ففي المثال المتقدم تکون (کل د م) صادقة لان (د) بعض م حسب الفرض والاعم يحمل على جميع أفراد الاخص قطعا.

٢ ـ قضية کلية : موجبة أو سالبة تبعا لکيف الجزئية موضوعها الاسم المفروض (د) ومحمولها محمول الجزئية ففي المثال تکون (کل د ب) صادقة لان (د) هو البعض الذي هو کله (ب). واذا کانت الجزئية سالبة مثل (س م ب) تکون (لا د ب) صادقة لان (د) هو البعض المسلوب عنه (ب). الثالثة (الاقترانات المنتجة للمطلوب) لانا بعد استخراج تلک القضيتين تزيد ثروة معلوماتنا فنستعملها في تألبيف اقترانات نافعة منهما ومن المقدمتين للقياس المفروض صدقهما لاستختراج النتيجة المطلوب اثبات صدقها. ولنجرب هذا الدليل بعد أن فهمنا مراحله في الاستدلال على الضرب الخامس من الشکل الثالث فنقول :

المفروض کل م ب وس م حـ (الخامس من الثالث)

المدعي ... س ب حـ

البرهان :

بالافتراض

نفرض بعض م (في السالبة الجزئية س م حـ) الذي هو ليس حـ انه (د) فنستخرج القضيتين الصادقتين :

(١) کل د م

(٢) لا د حـ

ثم نأخذ القضية رقم (١). ونجعلها صغري لصغري الاصل فيحدث :

کل د م وکل م ب (اول الشکل الاول)

... کل د ب