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