## 7.2.4 Boolean connectives

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 |

Copyright © 2010
Klaus Grue,
GRD-2010-01-05