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