ص - لنا : أن لا آكل : لنفي حقيقة الأكل بالنسبة إلى كل مأكول ، وهو معنى العموم . فيجب قبوله للتخصيص .
ش - احتج على المذهب المختار بأن قولنا : لا آكل ، يدل [ ص: 180 ] على نفي حقيقة الأكل الذي تضمنه الفعل ، فيكون نفي الأكل متحققا بالنسبة إلى كل مأكول ; لأنه لو لم ينتف بالنسبة إلى بعض المأكول لم يكن حقيقة الأكل منتفية .
وإذا كان نفي الأكل متحققا بالنسبة إلى كل مأكول كان عاما ; إذ لا معنى للعموم إلا ذلك .