如果用谓词符号Q(x)表示x是有理数，用谓词符号R(x)表示x是实数，那么命题“所有的有理数都是实数”应该符号化为下面哪个谓词公式？
A、(∀x)(Q(x)→R(x))
B、(∀x)(Q(x)∧R(x))
C、(∀x)(R(x)→Q(x))
D、(∀x)(Q(x)∨R(x))