تبیان، دستیار زندگی

البرهان:

بالافتراض

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

(1) کل د م

(2) لا د حـ

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

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

... کل د ب

ثم هذه النتيجة نجعلها صغري للقضية رقم (2) فيحدث:

کل د ب و لا د حـ (ثاني الشکل الثالث)

... س ب حـ (و هو المطلوب)

و لنجربه ثانيا في الاستدلال علي الضرب الرابع من الشکل الثاني فنقول: -

المفروض س ب م و کل حـ م

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

البرهان:

بالافتراض.

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

(1) کل د ب

(2) لا د م