وَصحح هَذِه الْعبارَة السُّبْكِيّ، وَولده التَّاج، وَهِي فِي بعض نسخ " التسهيل ".
قَالَ الْمرَادِي فِي " شرح الألفية ": (قَالَ ابْن مَالك فِي " شرح الكافية ": " الْعبارَة الجيدة فِي " لَو " أَن يُقَال: حرف يدل على امْتنَاع [تال] يلْزم لثُبُوته ثُبُوت تاليه، فقيام زيد، من قَوْلك: لَو قَامَ زيد لقام [عَمْرو] ، مَحْكُوم بانتفائه فِيمَا مضى وَكَونه مستلزماً ثُبُوته لثُبُوت قيام عَمْرو، وَهل [لعَمْرو] قيام آخر غير اللَّازِم عَن قيام زيد أَو لَيْسَ لَهُ؟ لَا تعرض لذَلِك، بل الْأَكْثَر كَون الأول وَالثَّانِي غير واقعين) .
وَقَالَ فِي " التسهيل ": " لَو: حرف شَرط يَقْتَضِي امْتنَاع مَا يَلِيهِ واستلزامه لتاليه "، وَفِي بعض النّسخ: " لَو: حرف يَقْتَضِي نفي مَا يلْزم لثُبُوته ثُبُوت غَيره ".) .