已知命题p:指数函数y=a^x在R上单调递减