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