为一例。 布尔逻辑可以想成二选一，而布尔值则表示为有两个参数的函数，它得到两个参数中的一个：邱奇布尔值在lambda演算中的形式定义如下：由于真、假 可以选择第一个或第二个参数，所以其能够由组合来产生逻辑运算子。注意到 not 版本因不同求值策略而有两个。下列为从邱奇布尔值推导来的布尔算术的函数："註："下头为一些范例：