أنه ليس بشرط خلافا لأبي علي بن سيناء من الفلاسفة وأبي هاشم من المعتزلة لنا أن بعد انقضاء الضرب يصدق عليه أنه ليس بضارب وإذا صدق ذلك وجب أن لا يصدق عليه أنه ضارب بيان الأول أنه يصدق عليه أنه ليس بضارب في هذه الحال وقولنا ليس بضارب جزء من قولنا ليس بضارب في هذه الحال ومتى صدق الكل صدق كل واحد من أجزائه فإذن صدق عليه أنه ليس بضارب وبيان الثاني أنه لما صدق عليه ذلك وجب أن لا يصدق عليه أنه ضارب لأن قولنا ضارب يناقضه في العرف ليس بضارب بدليل أن من قال فلان ضارب فمن أراد تكذيبه وإبطال قوله قال إنه ليس بضارب ولولا أنه نقيض الأول وإلا لما استعملوه لنقض الأول ولما ثبت كونهما موضوعين لمفهومين متناقضين وقد صدق أحدهما فوجب أن لا يصدق الآخر