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