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