مسألة قال أبو الحسين في المعتمد ، وتبعه في المحصول : اعلم أن نقض العلة أن يوجد في موضع دون حكمها ، وحكمها ضربان : مجمل ومفصل ، والمجمل ضربان : إثبات ونفي ، فالإثبات المجمل لا ينتقض بنفي مفصل ، والنفي المجمل ينتقض بإثبات مفصل .
مَسْأَلَةٌ قَالَ أَبُو الْحُسَيْنِ فِي الْمُعْتَمَدِ ، وَتَبِعَهُ فِي الْمَحْصُولِ : اعْلَمْ أَنَّ نَقْضَ الْعِلَّةِ أَنْ يُوجَدَ فِي مَوْضِعٍ دُونَ حُكْمِهَا ، وَحُكْمُهَا ضَرْبَانِ : مُجْمَلٌ وَمُفَصَّلٌ ، وَالْمُجْمَلُ ضَرْبَانِ : إثْبَاتٌ وَنَفْيٌ ، فَالْإِثْبَاتُ الْمُجْمَلُ لَا يَنْتَقِضُ بِنَفْيِ مُفَصَّلٍ ، وَالنَّفْيُ الْمُجْمَلُ يَنْتَقِضُ بِإِثْبَاتِ مُفَصَّلٍ .