تلخيص كتاب القياس — صفحة 195

المقدم بعينه فينتج التالي بعينه « 1 » - مثل قولنا لكن الشمس طالعة فالنهار موجود - والثاني يستثنى فيه مقابل التالي فينتج مقابل المقدم - مثل قولنا لكن النهار غير موجود فالشمس ليست بطالعة . والجنس الثاني الشرطي المنفصل ، وهو « 2 » يتركب من المعاندة التامة العناد وتقرن « 3 » به حروف الشرط التي تدل على الانفصال - مثل قولنا هذا الوقت إما ليل وإما نهار . وهذه أربعة أصناف . وذلك أنه يستثنى فيه المقدم بعينه فينتج مقابل التالي ، ويستثنى فيه التالي / بعينه فينتج مقابل المقدم ، ويستثنى فيه مقابل المقدم فينتج التالي ، ويستثنى فيه مقابل التالي فينتج المقدم . وذلك أنا قد نقول : لكنه ليس بليل فهو نهار ، أو لكنه ليس بنهار فهو ليل ، أو لكنه ليل فليس بنهار ، أو لكنه نهار فليس بليل . ( 173 ) وإذا كانت أجناس القياسات الشرطية « 4 » الأول هي هذان الجنسان فكلاهما إذا تؤمل الأمر فيهما ظهر أن المطلوب فيهما هو الذي يبين « 5 » فيها بجهة الشرط . وأما المستثنى فإنه يحتاج إلى أن يبين بقياس حملى في الشرطي المنفصل والمتصل ، إذا كان التعاند والاتصال فيها بينا بنفسه . وذلك أنه إذا كان الاتصال فيها بينا بنفسه والمستثنى بينا بنفسه ، كان اللازم بينا بنفسه . وذلك ظاهر جدا في الشرطي المنفصل ، فإنه إذا كان التعاند بينا بنفسه والمستثنى بينا بنفسه فالمطلوب بين بنفسه ، لأنه إن كان بينا أن العالم لا يخلو أن