موسوعة مصطلحات علم المنطق عند العرب - فريد جبر؛ سميح دغيم؛ رفيق العجم؛ جيرار جهامى - الصفحة ٤٩٣ - أ
من الشكل الأول (ف، ق، ٢٨، ٤)- الضرب الثالث (في الشكل الثاني) هو هذا (آ) في كل (ب) (ج) في بعض (ب)، ينتج (آ) في بعض (ج) لأن الموجبة الجزئية الصغرى إذا انعكست جزئية صار معنا (آ) في كل (ب)، و (ب) في بعض (ج) فترجع إلى الضرب الثاني من الشكل الأول (ف، ق، ٢٨، ٧)- الضرب الرابع (في الشكل الثاني) هو هذا (آ) في بعض (ب) (ج) في كلّ (ب)، ينتج (آ) في بعض (ج) لأن الكبرى الجزئية إذا انعكست صار معنا (ج) في كل (ب)، و (ب) في بعض (آ)، ينتج (ج) في بعض (آ)، ثم تنعكس هذه النتيجة فتصير (آ) في بعض (ج) (ف، ق، ٢٨، ١٠)- (الضرب) الخامس (في الشكل الثاني) هو هذا (آ) و لا في شيء من (ب)، (ج) في بعض (ب)، ينتج (آ) ليست في بعض (ج) لأن الصغرى الموجبة الجزئية تنعكس فيصير معنا (آ) و لا في شيء من (ب)، و (ب) في بعض (ج) فترجع إلى الضرب الرابع من الشكل الأول (ف، ق، ٢٨، ١٣)- (الضرب) السادس (في الشكل الثاني) هو هذا (آ) ليست في بعض (ب)، (ج) في كل (ب)، ينتج (آ) ليست في بعض (ج)، و نرجع إلى الشكل الأول لا بالعكس لكن بأن بعض (ب) الذي سلب عنه (آ) فإنما يسلب عن جميع البعض فلنفرض ذلك البعض (د)، و (ج) إذا كانت في كل (ب) فهي في كل (د) فيصير معنا (آ) و لا في شيء من (د) و (ج) في كل (د) فترجع إلى الضرب الثاني من هذا الشكل (ف، ق، ٢٨، ١٦)- الضرب الأول من هذا الشكل (الثالث) من موجبتين كلّيتين ينتج موجبة جزئية. و الثاني كبراه سالبة كلّية و صغراه موجبة كلّية ينتج سالبة جزئية. و الثالث كبراه موجبة كلّية و صغراه موجبة جزئية ينتج موجبة جزئية. و الرابع كبراه موجبة جزئية و صغراه موجبة كلّية ينتج موجبة جزئية. و الخامس كبراه سالبة كلّية و صغراه موجبة جزئية ينتج سالبة جزئية.
و السادس كبراه سالبة جزئية و صغراه موجبة كلّية ينتج سالبة جزئية (ف، ق، ٣١، ١)- (الشكل الثاني): الضرب الأول من كلّيتين، و الكبرى سالبة، ينتج كلّية سالبة، مثاله كل [ج ب] و لا شيء من [أ ب] فلا شيء من [ج أ] ... الضرب الثاني من كلّيتين و الصّغرى سالبة، ينتج سالبة كلية، و مثاله: لا شيء [ج ب] و كلّ [أ ب] فلا شيء من [ج أ] ... الضرب الثالث من صغرى موجبة جزئيّة، و كبرى سالبة كلّية، مثاله: بعض [ج ب] و لا شيء من [أ ب]، فليس كل [ج أ] ...
الضرب الرابع من صغرى سالبة جزئيّة و كبرى موجبة كلّية، مثاله ليس كل [ج ب] و كل [أ ب] فليس كل [ج ب] (مر، ت، ١١٩، ٤)- (الشكل الثالث) الضرب الأول من كلّيتين موجبتين ينتج موجبة جزئية، مثاله كل [ب أ]، لا يلزم من هذا أن كلّ [ج أ] ... الضرب الثاني من كلّيتين و الكبرى سالبة، ينتج جزئية سالبة، مثاله كل [ب ج] و لا شيء من [ب أ]، لا يلزم من هذا أن لا شيء من [ج أ] ...
الضرب الثالث من جزئية موجبة صغرى و كليّة موجبة كبرى، مثاله: بعض [ب ج] و كل [ب أ]، ينتج بعض [ج أ]، بالبرهان من الضرب الأول. الضرب الرابع من كليّة موجبة صغرى و جزئية موجبة كبرى، مثاله: [ب ج] و بعض