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

পৃষ্ঠা ৩২৭