맞습니다. 강의에서 처럼, 로그의 진수조건으로 생각해도 괜찮고 학생의 생각처럼 본래 함수의 치역의 범위가 역함수의 정의역이 된다는 개념으로 생각해도 괜찮습니다.