말 그대로 수학과에 들어가면 기호논리학을 수강하나요?