已知函数f(x)=log1/2 x,给出下列4个命题: