aقال: (ولما كان الدليل قد يقوم على إبطال النقيض والمطلوب نقيضه وقد يقوم على الشئ والمطلوب عكسه احتيج إلى تعريفهما).

أقول: لما كان الدليل قد لا يقوم على صدق المطلوب ابتداء بل إما على إبطال نقيض المطلوب ويلزم منه صدقه، وإما على تحقق ملزوم صدق المطلوب وهو ما يكون المطلوب عكسه فيلزم صدقه فلذلك احتيج إلى بيان النقيض والعكس والمراد بالتعريف البيان ليتناول حدهما وحكمهما فإنه يذكرهما جميعا.

tقوله: (وهو ما يكون المطلوب) تعيين للمراد لا تفسير لملزوم صدق المطلوب إذ قد يكون غير ذلك.

jقوله: (لما كان الدليل) الدليل قد يقوم على المطلوب ابتداء بأن ينساق النظر فيه إلى ما هو المطلوب بعينه كما فى بعض القياس المستقيم، وقد يقوم على إبطال نقيضه ويلزم منه صدقه قطعا كما فى قياس الخلف، وقد يقوم على تحقق أمر هو ملزوم لصدق المطلوب لكونه عكسا له فيلزم صدقه قطعا؛ كما فى رد الإشكال إلى الأول بحيث يحتاج إلى عكس النتيجة، ولذلك احتيج إلى بيان ماهيتهما وأحكامهما.