uebung8

Aus ProgrammingWiki

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\text{ }x)\text{ }y))$)

Berechnung

$((\lambda txy (t(x\text{ } y)))(\lambda xy (x))\text{ } e{1}\text{ } e{2})\equiv$

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

$(e_{1})$