命题:函数y=logX(a>0且a不等于1)在(0到正无穷大)上是减函数时loga2