Page 173 of 800
| 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.
means
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 |