Lambda calculus
Geplaatst: ma 14 mei 2007, 20:07
Ik snap lambda calculus niet heel erg en ik zit met twee vragen.
1) Hoe kan ik bewijzen dat NOT T -> F
Ik weet dat
1) Hoe kan ik bewijzen dat NOT T -> F
Ik weet dat
\(\[\mbox{NOT} = \lambda p.\lambda x.\lambda y.pyx \]\)
2) Hoe kan ik een functie IMPLIES definieren die voldoet aan\(\[\mbox{IMPLIES} \mbox{ F} t_1 \rightarrow T\\\]\[\mbox{IMPLIES} \mbox{ T} t_1 \rightarrow t1\]\)
Kan iemand mij hiermee helpen?