对数运算性质的推