If $a > 0, a \neq 1$ and $\log_a x = \log_a y$ then—

The logarithmic function is one-to-one for a valid base ($a>0,\,a\neq1$), so equal logarithms force equal arguments. Therefore $x = y$.