对数运算性质的推理方法