“对任意实数X,X>0”命题的否定