对数的定义及运算性质