فهرس الكتاب
وضروبه الناتجة أيضًا أربعة: الأوّل من كلّيتين والصغرى موجبة، ينتج سالبة كليّة، كقولنا: كلّ (ج ب) ولا شيء من (أ ب) فلا شيء من (ج أ) بالخلف: وهو ضمّ نقيض النتيجة إلى الكبرى لينتج نقيض الصغرى، وبانعكاس الكبرى ليرتدّ إلى الشكل الأوّل. الثاني من كلّيتين والكبرى موجبة كليّة، ينتج سالبة كليّة، كقولنا: لا شيء من (ج ب) وكلّ (أ ب) فلا شيء من (ج أ) ، بالخلف، وبعكس الصّغرى وجعلها كبرى، ثمّ عكس النتيجة. الثالث من موجبة جزئيّة صغرى وسالبة كليّة كبرى، ينتج سالبة جزئيّة، كقولنا: بعض (ج ب) ولا شيء من (أ ب) فليس بعض (ج أ) . بالخلف، وبعكس الكبرى ليرجع إلى الأوّل، وبفرض موضوع الجزئيّة (د) ، فكلّ (د ب) ولا شيء من (أ ب) فلا شيء من (د أ) ، ثمّ نقول: بعض (ج د) ولا شيء من (د أ) فبعض (ج) ليس (أ) . والرابع من سالبة جزئيّة صغرى، وموجبة كليّة كبرى، ينتج سالبة جزئيّة، كقولنا: بعض (ج) ليس (ب) ، وكلّ (أ ب) فبعض (ج) ليس (أ) ، بالخلف، والافتراض إن كانت السالبة مركّبة.
وأمّا الشكل الثالث: