- #1

- 3,990

- 48

I need help in understanding Goldrei's answer to Exercise 4.5 (a) ...

Exercise 4.5 together with Goldrei's solution reads as follows:

Can someone please explain exactly how x < y can be represented by

## ( \exists z \ (x * z) = y \land \neg x = y ) ##

Help will be much appreciated.Goldrei mentions the language given above ... that reads as follows:

Peter