雷蒙德·M·斯穆里安，美国逻辑学家。 　　逻辑，又称推理。本身是指是推论和证 […]