next up previous contents index
Next: Extended Logical Abstractions Up: The IF- Abstraction Previous: Body of the IF-Abstraction   Contents   Index

Application of basic logical abstractions

(bdisp! true)
--> true
(bdisp! false)
--> f...
--> true
(if false
(bdisp! true)
(bdisp! false))
--> false

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 2004-03-05

Impressum und Datenschutz