وقد بسط هذا في مواضع1.

وذلك: مثل قولهم: الدليل إما أن يستدل بالعام على الخاص، أو بالخاص على العام، أو بأحد الخاصين على الآخر؛ فإنّ الدليل أولاً لا يكون قطّ أعمّ من المدلول عليه؛ إمّا مساوياً له، وإمّا أخصّ منه؛ فإنّ الدليل ملزومٌ للمدلول عليه، والملزوم حيث تحقّق، [تحقّق] 2 اللازم، وإذا انتفى اللازم انتفى الملزوم؛ فحيث تحقّق الدليل، تحقّق المدلول عليه3. فإذا