شرح الكوكب المنير = شرح مختصر التحرير

قَالَ الْمُرَادِيُّ١ فِي "شَرْحِ الأَلْفِيَّةِ": "قَالَ فِي "شَرْحِ الْكَافِيَةِ"٢: الْعِبَارَةُ الْجَيِّدَةُ٣ فِي "لَوْ" أَنْ يُقَالَ: "حَرْفٌ يَدُلُّ عَلَى امْتِنَاعِ تَالٍ٤: يَلْزَمُ لِثُبُوتِهِ ثُبُوتُ تَالِيهِ".

فَقِيَامُ٥ زَيْدٍ مِنْ قَوْلِك: "لَوْ قَامَ زَيْدٌ لَقَامَ عَمْرٌو"، مَحْكُومٌ بِانْتِفَائِهِ٦ فِيمَا مَضَى. وَكَوْنُهُ مُسْتَلْزِمًا ثُبُوتَهُ لِثُبُوتِ٧ قِيَامَ عَمْرٍو. وَهَلْ لِعَمْرٍو قِيَامٌ آخَرُ غَيْرُ اللاَّزِمِ عَنْ قِيَامِ٨ زَيْدٍ، أَوْ لَيْسَ لَهُ؟ لا تَعَرُّضَ٩ لِذَلِكَ، بَلْ الأَكْثَرُ كَوْنُ١٠ الأَوَّلِ. وَالثَّانِي غَيْرُ وَاقِعَيْنِ"١١.

"وَ" تَأْتِي "لَوْ" "شَرْطًا لِـ" فِعْلٍ "مَاضٍ، فَيُصْرَفُ١٢ الْمُضَارِعُ إلَيْهِ" أَيْ إلَى الْمُضِيِّ١٣، عَكْسُ "إنْ" الشَّرْطِيَّةِ. فَإِنَّهَا تَصْرِفُ الْمَاضِيَ إلَى الاسْتِقْبَالِ.