已知命题p关于x的函数y=log1 2