من ثالث الشکل الاول لينتج المطلوب.

المفروض

کل م ب

وکل م حـ

المدعي

ع ب حـ

البرهان :

اذا صدقت

کل م ب

صدقت

ع ب م

(العکس المستوي)

فنضم العکس الى کبري الأصل ليکون

ع ب م

وکل م حـ

(ثالث الأول)

ع ب حـ

(المطلوب)

ولا ينتج کلية لجواز أن يکون ب أعم من حـ ولو من وجه کالمثال.

(الثاني) من کليتين والکبري سالبة ينتج سالبة جزئية.

مثاله :

کل ذهب معدن

ولا شيء من الذهب بفضه

 ... بعض المعدن ليس بفضة

ويبرهن عليه بعکس الصغري کالاول فنقول :

المفروض

کل م ب

ولا م حـ

المدعي

 ... س ب حـ

البرهان :

نعکس الصغري فتکون (ع ب م) فنضمها الى الکبري فيحدث :

ع ب م

ولا م حـ

(رابع الاول)

 ...

س ب حـ

(المطلوب)

۵۲۴۱