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