وإذا تكون كريهة أدعى لها.

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