논리기호 ->가 우리가 생각하는 If ~, then ~.가 아님