Next: Extended Logical Abstractions
Up: The IF- Abstraction
Previous: Body of the IF-Abstraction
Contents
Index
![\begin{lstlisting}[language=Scm]{}
(bdisp! true)
--> true
(bdisp! false)
--> f...
...
--> true
(if false
(bdisp! true)
(bdisp! false))
--> false
\end{lstlisting}](img72.gif)
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