وذهب بعض الناس إلى أنه لا يدل على ذلك.

دليلنا في ذلك:

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

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