المختصر في المنطق محمد بن محمد ابن عرفة الورغمي التونسي المالكي أبو عبد الله

«ونقيض المركبة الكلية مانعة خلو من نقيضي جزءيها وفي كون جزئيتها كذلك أو بشرط تقييد الموضوع بالمحمول في الموجبة وفي نقيضه في السالبة أو مانعة خلو من نقيضي جزءيها ومن ثالث هو جزئيتا الكليتين بكيفهما وجهتهما مستغرقتين أفراد الكليتين. رابعها حمل الترديد بين المحمول ونقيضه على واحد من أفراد الموضوع للموجز مع الجملين وابن واصل ونقل ابن البديع والأثير معبرا عن الأول بالمشهور مع الخونجي ناقلا عن بعضهم إن …»

«وفيما صغراه إحدى الوجوديتين أو المطلقة مع الوصفيات كبريات مطلقة لإنتاجها اعمتها وهي الصغرى مطلقة مع الكبرى عرفية عامة بالعكس إن كانت العرفية سالبة كلية وبإنتاج نقيض النتيجة مع الكبرى منافي الصغرى وبإلغاء الزائد في أخصها وهي الصغرى الوجودية اللادائمة مع الكبرى مشروطة خاصة ككل إنسان نائم لا دائما ولا شيء من الحمار اليقضان بنائم ضرورة ما دام حمارا يقضان لا دائما مع صدق لا شيء من الإنسان بحمار يقضان …»

«الثاني: إن يشارك أحد جزئ الأخرى وينقسم إلى ثلاثة فيشترك في الأول أجزاء نتيجته في جزء وفي الثاني جزءا نتيجته وهما نتيجتا التأليفين ويجب كون تآلفي الثالث من شكلين. ثالث: إن يشارك أحد جزئ الأخرى والآخر ينقسم إلى الثلاثة له نتيجتان نتيجة أحد المتشاركين مغلي حال الآخر ونتيجة عكسه يجوز كون تأليفه من شكل …»