有理数が稠密であることを、命題論理式で表現せよ。

Qを有理数とすると、
(∀x，y∈Q)(∃m)(m = (x+y)/2 ⇒ m∈Q)
こんな風にしたのですが、微妙に間違ってるみたいなので訂正をお願いします