（麦考密克）逻辑可以告诉我们走这条路或那条路保证不遇见任何障碍，但是它不能告诉我们哪条道路能引导我们到达目的地