Translate the following English sentence into a symbolic sentence with quantifiers:

Between any integer and any larger integer, there is a real number. (universe is real numbers)

1 answer

Check the following:

a∈ℤ(b∈ℤ)>ar∈ℝ(a<r<b)