الجامع لأحكام القرآن للقرطبي - القرطبي [إخفاء]  
{إِنَّ ذَٰلِكَ لَحَقّٞ تَخَاصُمُ أَهۡلِ ٱلنَّارِ} (64)

" إن ذلك لحق تخاصم أهل النار " " لحق " خبر إن و " تخاصم " خبر مبتدأ محذوف بمعنى هو تخاصم . ويجوز أن يكون بدلا من حق . ويجوز أن يكون خبرا بعد خبر . ويجوز أن يكون بدلا من ذلك على الموضع . أي إن تخاصم أهل النار في النار لحق . يعني قولهم : " لا مرحبا بكم " الآية وشبهه من قول أهل النار .

 
التسهيل لعلوم التنزيل، لابن جزي - ابن جزي [إخفاء]  
{إِنَّ ذَٰلِكَ لَحَقّٞ تَخَاصُمُ أَهۡلِ ٱلنَّارِ} (64)

{ إن ذلك لحق } الإشارة إلى ما تقدم من حكاية أقوال أهل النار ثم فسره بقوله : { تخاصم أهل النار } وإعراب { تخاصم } بدل من حق أو خبر مبتدأ مضمر .