تخطي إلى المحتوى الرئيسي

تجريد المنطق — صفحة 44

مساهمون:

ص٤٤

[ القياسات المركبة من المنفصلات والمتصلات ]

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

[ القسم الثاني من القياسات المؤلفة من المتصلات والمنفصلات ]

والمشتركة في غير تامين أيضا أربعة أصناف ولترد المقدمتان إلى أحد الجنسين ليرتد إلى ما مرّ ، ويعرف من ذلك حالها .

[ القسم الثالث من القياسات المؤلفة من المتصلات والمنفصلات ]

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

[ القياسات المؤلفة من الحمليات والشرطيات ]

وأمّا المؤلفة من الحمليّات والشرطيّات - ويكون لا محالة من تامّ وغير تامّ - فنوعان : أحدهما من حملية ومتصلة ، وهي أربعة أصناف ، لأن المتصلة تكون اما صغرى أو كبرى ، والاشتراك أمّا في تاليها أو في مقدمها ؛ والنتائج تكون متصلات أحد جزئيها الجزء الخالي من الاشتراك