ثبوت الحكم عند وجود شرطه نظير ثبوت الحكم بالعلة (?).
وفي لفظ: ثبوت الحكم عند وجود الشرط يكون محالاً به على السبب (?).
وفي لفظ: الوجوب إذا ثبت عند وجود شرطه فإنما يحال به على سببه (?). وتأتي في حرف الواو إن شاء الله.
سبق معنى الشرط والعلة والسبب، فمفاد هذه القواعد أن الحكم إذا ثبت عند وجود شرط وجوبه فهو شبيه بثبوت الحكم بالعلة، ومن ناحية ثانية إن ثبوت هذا الحكم عند وجود شرطه لا يحال على الشرط؛ لأن الشرط عند الأصوليين (ما ينتفي الحكم عند انتفائه، ولا يلزم من وجوده وجود الحكم ولا عدمه) بل إنما يحال به على سببه وعلته, لأن السبب هو الذي يلزم من وجوده وجود الحكم ويلزم من انتفائه انتفاء الحكم. فإذا ثبت الحكم دل ذلك على وجود سببه وعدم انتفاء شرطه.
إذا وجبت الزكاة عند حولان الحول - وهو شرطها - فكأنها وجبت لثبوت