判断命题的真假 ∀ X∈(0,+00),(1/2)^x>log1/2(为底)x