演算 - 如果有更多的參數需要

Question

演算問題：

TRUE = lambda x y . x 
FALSE = lambda x y . y 
1 = lambda s z . s z 
2 = lambda s z . s (s z) ... 

BoolAnd = lambda x y . x y FALSE 
BoolOr = lambda x y. x TRUE y 
BoolNot = lambda x . x FALSE TRUE 

If I want to know the result of BoolNot 1: 
BoolNot 1 
(lambda x . x FALSE TRUE)(lambda s z . s (s z)) 
(lambda s z . s z) FALSE TRUE 
(lambda x y . y) (lambda x y . x) 

這裏需要X和Y兩個參數，但只有1個在這裏， 我怎麼能繼續這種結石？

Answer 1

λ x y. E是「速記」爲λx. (λy. E)。

因此，

(λ x y. y) (λ x y. x) 

==> (λx. (λy. y)) (λ x y. x) 

==> λy. y 

即，恆等函數。

Answer 2

認爲您在當時應用了一個參數，並且在每個步驟中您都有一個功能減少一個。它沒有意義做(not 1)但結果卻是身份的功能，因爲true變得不使用的變量，因此它會採取另一種說法y和評價y