已知f(x)=log1/2(2-x)