Conditionals in Lambda Calculus
Example evaluation of a conditional
(a case where the condition is false).
if false then apple else pear
?x. ?y. ?z. ((x y) z) false apple pear
?x. ?y. ?z. ((x y) z) ?x?.?y?.y? apple pear
?y. ?z. ((?x?.?y?.y? y) z) apple pear
?z. ((?x?.?y?.y? apple ) z) pear
((?x?.?y?.y? apple ) pear)