表示的是，当codice_2是零时，表达式的值是codice_3，否则是codice_4。
逻辑与谓词.习惯上，下述两个定义（称为邱奇布尔值）被用作TRUE和FALSE这样的布尔值：接着，通过这两个λ-项，我们可以定义一些逻辑运算：我们现在可以计算一些逻辑函数，比如：我们见到AND TRUE FALSE等价于FALSE。“谓词”是指返回布尔值的函数。最基本的一个谓词是ISZERO，当且仅当其参数为零时返回真，否则返回假：运用谓词与上述TRUE和FALSE的定义，使得"