Go backward to Semantics of Atomic FormulasGo up to TopGo forward to Operational Interpretation |

Formula `x` <= sqrt(`y`+1).

- Domain of real numbers.
- Function and object constants interpreted as usual.
- Assignment [
`x`|->`3`,`y`|->`8`] gives meaning*true*; - Assignment [
`x`|->`4`,`y`|->`3`] gives false.

- Domain of points in a plane.
- <= interpreted as "is not farther from the zero point than";

Author: Wolfgang Schreiner

Last Modification: October 6, 1999