uebung8

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