uebung8

Aus ProgrammingWiki
< BuK < IIm11 < Studenten < sistsche
Archivierte Version vom 2012-05-21T14:13:07+00:00. Aktuelle Version

Boolesche Werte (Stefan Scheumann, Robert Rosenberger)

Berechnen Sie  if true e1 e2 = e1.

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})