Properties of logarithms and definitions