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?