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