For any two different numbers there is an number in between.
I'm trying to write this in predicate logic and have no idea how to do it, since I need 2 variables X and Y? For all x there exists a y such that y - x is positive?
I'm a mong ignore.
For any two different numbers there is an number in between.
I'm trying to write this in predicate logic and have no idea how to do it, since I need 2 variables X and Y? For all x there exists a y such that y - x is positive?
I'm a mong ignore.
As a hint, for any two numbers there is a third number in between.