逻辑的符号化案例,启示我们________。