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

الصفحة: 7