نفى در ماضى كرد لم يضربا شد.

لم يضربوا: يعنى نزده‌اند ايشان گروه مردان غايب در زمان گذشته.

صيغه جمع مذكّر غايب است از فعل جحد، صحيح و مجرد و معلوم.

لم يضربوا در اصل يضربون بود (جمع مذكّر غايب بود از فعل مضارع) خواستيم جمع مذكّر غايب بنا كنيم از فعل جحد، لم جازمه بر سرش درآورديم دو عمل كرد: لفظا و معنى، لفظا نون عوض رفع را به جزمى ساقط كرد، و معنى نقل كرد معناى مضارع را بسوى ماضى و نفى در ماضى نمود لم يضربوا شد.