若x-√3是有理数,则x是无理数 是真命题么