Zad al-Masir (Tafsir Ibn al-Jawzi) — 47:19-21

قَوْلُهُ تَعالى: ﴿فَإذا عَزَمَ الأمْرُ﴾ قالَ الحَسَنُ: جَدَّ الأمْرُ. وقالَ غَيْرُهُ: جَدَّ رَسُولُ اللَّهِ ﷺ وأصْحابُهُ في الجِهادِ، ولَزِمَ فَرْضُ القِتالِ، وصارَ الأمْرُ مَعْرُوفًا عَلَيْهِ. وجَوابُ "إذا" مَحْذُوفٌ، تَقْدِيرُهُ: فَإذا عَزَمَ الأمْرُ نَكَلُوا؛ يَدُلُّ عَلى المَحْذُوفِ ﴿فَلَوْ صَدَقُوا اللَّهَ﴾ أيْ: في إيمانِهِمْ وجِهادِهِمْ ﴿لَكانَ خَيْرًا لَهُمْ﴾ مِنَ المَعْصِيَةِ والكَراهَةِ.