church :: Church Integer -> Integerunchurch cn = cn (+ 1) 0
邱奇布尔值.邱奇布尔值是布尔值真和假的邱奇编码形式。某些程式语言使用这个方式来实践布尔算术的模型，Smalltalk即为一例。 布尔逻辑可以想成二选一，而布尔值则表示为有两个参数的函数，它得到两个参数中的一个：邱奇布尔值在lambda演算中的形式定义如下：由于真、假 可以选择第一个或第二个参数，所以其能够由组合来产生逻辑运算子。注意到 not 版