真偽判定の問題
∀x∈R (x<1⇨∃y∈Q,x<r<1)

これって真であってるよね?