The most fundamental predicate is ISZERO, which returns TRUE if its argument is the Church numeral 0, and FALSE if its argument is any other Church numeral: ISZERO := λn.n (λx.FALSE) TRUE The following predicate tests whether the first argument is less-than-or-equal-to the second: LEQ := λm.λn.ISZERO (SUB m n), and since m = n, if LEQ m n and LEQ n m, it is straightforward to build a predicate for numerical equality.
Ang pinaka pundamental na predikato ang ISZERO na nagbabalik ng TRUE kung ang argumento nito ay ang numeral na Church na0, at FALSE kung ang argumento nito ay iba pang numeral na Church: ISZERO := λn.n (λx.FALSE) TRUE Ang sumusunod na predikato ay sumusubok(test) kung ang unang argumento ay mas-maliit o katumbas ng ikalawa: LEQ := λmn.ISZERO (SUB m n), At dahil ang m = n, kung ang LEQ m n at LEQ n m, tuwid na malilikha ang predikato para sa numerikal na pagtutumbas.WikiMatrix WikiMatrix