قال: (وإنما كان الذي متصلتُه صغرى مطبوعاً؛ لأن مقدم المتصلة متميزٌ عن تاليها، بحسب المفهوم؛ لأن المقدَّم ملزومٌ والتالي لازمٌ، فيقدَّم الأول ليوافق الوضعُ الطبعَ).
مطبوع المقبول يعني، الذي يوافق النفس.
قال هنا: (وإما من حمليَّةٍ ومنفصلة سواءٌ كانت الحمليَّة صُغرى والمنفصلة كبرى أم بالعكس كقولنا: كل عددٍ إما زوجٌ أو فردٌ، وكل زوجٍ فهو منقسمٍ بمتساويَين) الصغرى منفصلة والكبرى حمليَّة.
(يُنتِج: كل عددٍ إما فردٌ أو منقسمٌ بمتساويين).
(فنتيجةُ هذا منفصلة مانعة خلوٍ) الظاهر أنه المراد به القياس، هذا النوع يعني الذي ذكره هنا.
(فنتيجة هذا منفصلةٌ مانعة خلوٍ) أي: وجمعٍ أيضاً (فهي حقيقية مركّبةٌ مما لم يُشارَك ومن نتيجة التأليف الحاصل مما يُشارَك ومن الحمليَّة).
(فنتيجة هذا منفصلة مانعة خلوٍ مركّبة مما لم يُشارَك -بفتح الراء- أي: الطرف الذي لم تُشارِك الحمليَّةُ الشرطيةَ فيه) الذي لم يُشارَك وهو فردٌ هنا مثلاً.
لأنه قال ماذا؟ كل عددٍ إما زوجٌ أو فردٌ، وكل زوجٍ فهو منقسم ومتساوي يُنتِج كل عدد إما فردٌ أو منقسم متساويين، والذي لم يُشارَك فهو فردٌ في مثال المصنف.
قال هنا: (فنتيجة هذا مانعة خلوٍ مركّبة مما لم يُشارَك، ومن نتيجة التأليف الحاصل مما يُشارَك ومن الحمليات).
قال العطار هنا: (قوله: مركَّبة مما لم يُشارَك. والذي يظهر ليس في حل هذه العبارة أن المنفصلة القائلة: كلُّ عددٍ إما زوجٌ وإما فردٌ، الواقعة صغرى مركبة من قضيتين حمليتين هما العدد زوجٌ العدد فرد).
يعني: ردَّ المنفصلة إلى حمليتين.
(لِما تقرر أن أجزاء الشرطيات متصلة كانت أو منفصلة حمليات) يعني: المقدَّم هو في الأصل حمليَّة: إذا كانت الشمس طالعة، الشمس طالعة حمليَّة فالنهار موجود هذه حمليَّة.
إذاً: أجزاء الشرطيات حمليات.
قال: (وأن الحمليَّة الواقعة كبرى هي كل زوجٍ منقسمٌ بمتساويين، فموضوع الحمليَّة الكبرى أحد أجزاء المنفصلة وهو الزوج، وهذا معنى المشاركة) أنه شارك.
(إذ مُقدَّم المنفصلة وقع موضوعاً في الحمليَّة، وأما التالي وهو فردٌ فلم تقع فيه مشارَكة) وإنما وقعت المشاركة في الزوجي لا في الفردي.
(فإذا ركَّبنا قياساً من حمليتين) ولذلك قال: (ومن نتيجةِ التأليف الحاصل).
التأليف يعني: القياس، الحاصل: مما يُشارَك ومن الحمليَّة، هذا الذي عناه هنا العطار.
(فإذا ركّبنا قياساً من حمليتين: صُغراهما مقدم المنفصلة، وكبراهما الحمليَّة الواقعُ كبرى مع المنفصلة. انتظم قياساً اقترانياً من الشكل الأول.
هكذا العدد زوجٌ، وكل زوجٍ فهو منقسمٌ بمتساويين يُنتِجُ: العدد منقسمٌ بمتساويين.
فإذا ضممتَ هذه النتيجة إلى الجزئي الغير المشترِك وهو العدد الفرد، وأدخلتَ عليه أداة الانفصال صار هكذا: العدد إما فردٌ أو منقسمٌ بمتساويين.
فهذه المنفصلة التي حكمنا عليها بأنها نتيجةُ القياس، المركب من منفصلة وحمليَّة، مركبة من الجزء الغير المشارِك ومن التأليف أي: نتيجة التأليف أي: المؤلَّف الذي هو القياس الاقتراني.
الذي قررناه لك: المركب من الجزء الغير مشارَك ومن الحمليَّة).