لأنا استقريناها فوجدناها هكذا فيقال هل التمساح يحرك الاعلى

ثم قالوا القياس ينقسم إلى الاقتراني والاستثنائي ف الاستثنائي ما تكون النتيجة أو نقيضها مذكورة فيه بالفعل والاقترانى ما تكون فيه بالقوة كالمؤلف من القضايا الحملية كقولنا كل نبيذ مسكر وكل مسكر حرام

والاستثنائي ما يؤلف من الشرطيات وهو نوعان

احدهما متصلة كقولنا إن كانت الصلوة صحيحة فالمصلى متطهر واستثناء عين المقدم ينتج عين التالى واستثناء نقيض التالى ينتج نقيض المقدم

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

وقد يقولون مانعة الجمع والخلو هي الشرطية الحقيقية وهي مطابقة للنقيضين في العموم والخصوص ومانعة الجمع هي أخص من النقيضين فان الضدين لا يجتمعان وقد يرتفعان وهما اخص من النقيضين

وأما مانعة الخلو فانها أعم من النقيضين وقد يصعب عليهم تمثيل ذلك بخلاف النوعين الاولين فان أمثالهما كثيرة ويمثلونه بقول القائل هذا راكب البحر أو لا يغرق فيه أي لا يخلو منهما فانه لا يغرق إلا إذا كان في البحر فاما أن لا يغرق فيه وحينئذ لا يكون راكبه وإما أن يكون راكبه وقد يجتمع ان يركب ويغرق

والامثال كثيرة كقولنا هذا حي أو ليس بعالم أو قادر أو سميع او