逻辑错误是指程序执行后结果不正确，但程序语法没有问题。这种错误不会在编译阶段被发现，只能在运行时或通过测试验证。