للمسكوت عنه الذي انتفى عنه، كقول السيد لعبده: " ادخل علي يوم الجمعة "، فإنه يدل بمفهوم الزمان المخالف أنه لا يدخل عليه في بقية أيام الأسبوع، ودليل ذلك هو: دليل حجية مفهوم الصفة.

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

وقلنا ذلك: لأن أبا يعلى بن أمية قال لعمر بن الخطاب: ما لنا نقصر وقد أمِنَّا، وقد قال تعالى: (فَلَيْسَ عَلَيْكُمْ جُنَاحٌ أَنْ تَقْصُرُوا مِنَ الصَّلَاةِ إِنْ خِفْتُمْ أَنْ يَفْتِنَكُمُ الَّذِينَ كَفَرُوا)، حيث فهم أبو يعلى من تخصيص القصر بحالة الخوف: عدم القصر عند عدم الخوف، ولم ينكر عليه عمر، بل قال: عجبتُ مما عجبت منه، فسألت النبي - صلى الله عليه وسلم - عن ذلك فقال: " صدقة تصدق الله بها عليكم فاقبلوا صدقته ".

ولأن كتب اللغة والنحو ناطقة بأن كلمة " إن " تسمى عند أهل اللغة بحرف الشرط، والشرط هو: ما ينتفي الحكم عند انتفائه، فيقال: " الطهارة شرط لصحة الصلاة "، فيلزم من انتفاء الطهارة انتفاء صحة الصلاة، فيكون انتفاء الحكم عند انتفاء الشرط معنى عاماً في جميع موارد استعماله، فوجب جعله حقيقة فيه.