القسم الثالث ان يكون الحق الأوسط فيه جزء تاما من احدى

المقدمتين غير تام من الاخرى وقد عرفت بيانه فى حكم المؤلف من الحملى والمنفصل ان كان الجزء التام من المتصلة فيكون المتصلة مكان الحملى او المؤلف من الحملى والمتصل ان كان الجزء التام من المنفصلة فيكون المنفصلة مكان الحملى

[الفصل السادس: فى كيفية استنتاج الحملية من القياسات الشرطية]

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

Sayfa 325