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