有理数是实数是真命题吗