|Page 173 of 800||Search internet|
The Boolean connectives [.not. x], [x .and. y], and [x .or. y] have the usual semantics when applied to Booleans. Some examples read:
Note that has greater charge than Boolean connectives so that e.g.
When applied to non-Booleans, complains:
In contrast, and to represent falsehood. The second argument is not evaluated if the first argument suffices to determine the return value. Some examples read:
The base page defines some further Boolean connectives:
[x boolp] is true if x is a boolean.
[notnot x] is the double negation of x (i.e. true if x is true and false if x is false). If x is e.g. a number then double negation throws an exception.
|Page 173 of 800||Search logiweb.eu|