当其参数为零时返回真，否则返回假：运用谓词与上述TRUE和FALSE的定义，使得"if-then-else"这类语句很容易用lambda演算写出。
有序对.有序对（2-元组）数据类型可以用TRUE、FALSE和IF来定义。链表数据类型可以定义为，要么是为空列表保留的值（e.g.FALSE），要么是CONS一个元素和一个更小的列表。
附加的编程技术.lambda演算出现在相当大量的编程习惯用法中，其中许多编程语言最初以lambda演算作为语义基础，在此