Application of basic logical abstractions

(bdisp! true)
                             --> true
(bdisp! false)
                             --> false
(if true
     (bdisp! true)
     (bdisp! false))
                             --> 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