راجع: تحرير القواعد المنطقية: ص/ ١٥٣، وشرح الأخضري على السلم: ص/ ٣٢، وإيضاح المبهم: ص/ ١٢، وأداب البحث والمناظرة: ص/ ٦٥، وتسهيل المنطق: ص/ ٥٢. (٢) القياس الاستثنائي: هو ما تكون فيه النتيجة أو نقيضها مذكورة بالفعل ويسمى -أيضًا- قياسًا شرطيًّا كقولهم: إن كان هذا جسمًا، فهو متحيز، لكنه ليس بمتحيز ينتج أنه ليس بجسم، ونقيضه قولهم: إنه جسم مذكور في القياس، أو يكون عين النتيجة كقولهم: إن كانت الشمس طالعة، فالنهار موجود لكن الشمس طالعة، فالنهار موجود، فهذه النتيجة مذكورة هيئتها الاجتماعية في تالي القياس، والشرطية فيه هي الكبرى، والاستثنائية هي الصغرى عكس الاقتراني كما تقدم ذكره، وسمي قياسًا استثنائيًّا مع أن حرف الاستثناء في هذا الفن هو لفظة (لكن) خاصة إنما هو اصطلاح منطقي.