不存在能表示成分数的无理数。有理数都能表示成分数，因此，有理数都不是无理数。设n元谓词IR(x):x是实数，Q(x):x是有理数，S(x):x是分数。列出所有前提和结论的谓词公式，并证明结论。