Q$1$ Assertion with predicates

$5$ Points

Grading comment:

Real numbers $($represented by the set

R

R$)$ have a property that any two distinct reals have some real number in between the two $($for example, the numbers

$1$

$1$ and

$1\mathrm{.}5$

$1\mathrm{.}5$ have the number

$1\mathrm{.}2$

$1\mathrm{.}2$ between them, along with many others$).$ Assert this fact $($the bolded statement$)$ as a logical expression.

Comparison operators $($

$>$

$,$

$<$

$,$

$=$

$,$

$!=$

$,$

e

t

c

$.$

$>,<,=,$

$$

$$

$=,$etc.$)$ are always available to you. Do not assume you have any other predicates available.