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