Go backward to Semantics of Atomic Formulas Go up to Top Go forward to Operational Interpretation

Example

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";