... لا شيء من المجتر بطائر

ويبرهن عليه بعکس الکبري بالعکس المستوي ثم ضم العکس الى نفس الصغري فيتألف من الضرب الثاني من الشکل الاول وينتج نفس النتيجة المطلوبة فيقال باستعما الرموز :

المفروض

کل ب م

ولا حـ م

المدعي انه ينتج

 ... لا ب حـ

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

کل ب م. ولا م حـ

(الضرب الثاني من الشکل الاول)

ينتج ... لا ب حـ

(وهو المطلوب)

(الثاني) من سالبة کلية وموجبة کلية ينتج سالبة کلية مثاله :

لا شيء من الممکنات بدائم

وکل حق دائم

 ... لا شيء من الممکنات بحق

يبرهن عليه بعکس الصغري ثم يجعلها(٢) کبري وکبري الأصل صغري لها ثم بعکس النتيجة فيقال :

المفروض

لا ب م

کل ح م

المدعي

 ... لا ب حـ

البرهان :

اذا صدقت

لا ب م

صدقت

لا م ب

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

__________________

(١) كذا ، والمناسب : نضمه.

(٢) كذا ، والمناسب : بجعله.

۵۲۴۱