BuK/IIm11/Studenten/sistsche/uebung8

Wiki-Quelltext dieser Seite.

==Boolesche Werte (Stefan Scheumann, Robert Rosenberger)==
Berechnen Sie  <tt>if true e1 e2 = e1</tt>.

===Vorbedingung===

$\lambda xy. x$ nennen wir $true.$

$\lambda xy. y$ nennen wir $false$.

$if\equiv \lambda txy. txy$  (Hinweis: $txy \equiv ((t x) y))$)

=== Berechnung ===
$((\lambda txy (t(x y)))(\lambda xy (x)) e{1} e{2})$

$((\lambda xy (x)) e{1} e{2}) $

$(e_{1})$