بحث: از زمره بحث های مطرح شده درباره مقدمه واجب، آن است که آیا وجوب مقدمه واجب، مشروط به إراده مکلّف است یا نه؟ مرحوم صاحب معالم ظاهراً به اشتراط قائل بوده است. چراکه ایشان در بحث ضد در ذیل این نکته که «ترک ضد مقدمه وجود ضد دیگر است،