وجود علّته التامّة ، لجاز عدمه ؛ ولو فرض عدمه مع وجود العلّة التامّة ، فإمّا أن تكون علّة عدمه - وهي عدم العلّة - متحقّقة وعلّة وجوده موجودة 3 ، كان فيه اجتماع النقيضين ، وهما علّة الوجود وعدمها ؛ وإن لم تكن علّة عدمه متحقّقة كان في ذلك تحقّق عدمه من غير علّة ، وهو محال . وكذا لو لم يجب عدمه عند عدم علّته 4 لجاز وجوده ؛ ولو فرض وجوده مع تحقّق علّة عدمه - وهي عدم علّة الوجود - فإن كانت علّة الوجود موجودة ، اجتمع النقيضان ، وهما علّة الوجود وعدمها الّذي هو علّة العدم ؛ وإن لم تكن علّة الوجود موجودة ، لزم وجود المعلول مع عدم وجود علّته . برهان آخر : 5 لازم توقّف وجود المعلول على وجود العلّة ، امتناع وجود المعلول