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