Go backward to
Go up to
Go forward to
is free; the formula is therefore
true in assignment [
] over the domain of natural numbers with the usual interpretation of ` <= `, because 0 <=
is true for every natural number
0 <= 0, 0 <= 1, 0 <= 2, ...
: x | 15)
is bound; the formula is
true for every assignment over the natural numbers with `|' interpreted as `divides', because
| 15 is true for some natural number
(e.g. for 3):
3 | 15.
Last Modification: October 6, 1999