على ما ثبت من صحة صوم عاشوراء، بنية من النهار حين/ (٣٧٣/ أ) كان واجبًا مع زوال حكمه بالنسخ، وبقاء الفرع على حاله، لكن لا يكون هذا النسخ إلا بالنص لأن حكم النص لا ينسخ بالقياس.
وأما نسخ القياس بالإجماع فغير متصور لأنه لا يحصل في زمانه ﵇.
وهل يمكن نسخه بدون نسخ أصله، فهذا ينبغي أن يكون محل الخلاف فجوزه الجماهير. وأباه بعضهم: كالقاضي عبد الجبار.
وأما المجوزون فقالوا: يجوز نسخه بالنص. بأن ينص في ذلك الفرع بأن الحكم فيه كذا على خلاف مقتضى القياس، وبالقياس بأن ينص على حكم آخر ضد حكم أصل ذلك القياس، والأمارة الدالة "على" علته المشترك بين هذا الأصل وبين الفرع، راجحه على الأمارة الدالة على علته المشتركة بين [المستنبط من حكم] الأصل الأول وبين الفرع.
وأما المانعون منه فقالوا: العلة المستنبطة من حكم الأصل كالفحوى بالنسبة إلى الأصل، فكما لا يجوز نسخ الفحوى بدون الأصل فكذا لا يجوز نسخ العلة بدونه.