بدليل مركب من مقدمات ولم يكن المطلوب واجب اللزوم عن تلك المقدمات كان اعتقاد وجود ذلك المطلوب في هذه الحالة اعتقادا تقليديا لا يقينيا وإذا كان ذلك واجبا فنقول قبل حصول تلك المقدمات البديهية امتنع حصول هذه القضايا الاستدلالية وعند حصول تلك البديهيات يجب حصول هذه الاستدلاليات فإذن هذه الاستدلاليات في جانبي النفي والإثبات لا تكون باختيار المكلف وإذا ثبت هذا ثبت أن التكليف بها تكليف بما ليس في الوسع فهذا مجموع الوجوه المذكورة في هذه المسألة وبالله التوفيق