بیان سه نظر در مقدمه دوم
1. قبول مطلقا
2. عدم مطلقا
3. تفصیل
دلیل نظر اول: اگر ترک ضد واجب مثل خود واجب واجب نباشد یا حرام است یا ... و همگی محذور دارد.
دلیل نظر دوم: عدم دلیل و لغویت
ان قلت: خلو وقائع از حکم نداریم!
قلت: این ملازمه واقعه نیست - ملازمه آن که حکم دارد کافی است.
نظر سوم و دلیل آن: امکان ترک هر دو ضد در ضدیتی که ثالث دارد پس اتحاد در حکم نیست ولی در ضدیتی که ثالث ندارد امکان ترک نیست.