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

ـــــــــــــــــــــــــــــ

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