Define logarithm as inverse of exponential (#497)

Define logarithm as inverse of exponential (#497)

Understand y=log⁡ax  ⟺  ay=xy = \log_a x \iff a^y = x.