Next: Extended Logical Abstractions
Up: The IF- Abstraction
Previous: Body of the IF-Abstraction
The `bdisp!' abstraction is needed to display a truth-value
on the monitor screen. It will be formally introduced later.
Having defined the lambda-abstractions `if , `true' and `false'
it is easy to derive from these the abstractions `not', `and' and `or':
Georg P. Loczewski