람다 감소는 대괄호 []와 단계는 당신에게 내가 뭐하는 거지 단계를 말하고있다 <p>이 콤비 S K = K I</p>을 증명 S K = K I

Question

안녕하세요 나는 데 문제가 증명한다. 예를 들어, λyz.xz (yz)의 [λxy.x/x]는 내가 λyz.xz (yz)라는 식의 모든 x에 대해 (λxy.x)를 대체하려한다는 것을 의미합니다.

지금까지 시도한 내용은 다음과 같습니다. SK를 줄이고 나는이있어 :

S K 
(λxyz.x z(y z)) (λxy.x) 
[λxy.x/x] in λyz.x z(y z) 
(λyz. (λxy.x) z(y z)) 
[z/x] in λy.x 
(λyz. (λy.z) (y z)) 
[y/y] in λy.z 
(λyz. z z) 

을 다음 KI를 줄이고 나는이있어 : 두 개의 답변이 날 (. λyz ZZ)와 λy 동일하게하지 않는 것

K I 
(λxy.x) (λx.x) 
[λx.x/x] in λy.x 
λy. λx.x 

하지만. λx.x 누군가 내가 잘못한 것을 설명해 줄 수 있습니까? 고맙습니다.

Answer 1

(λy.z) (y z) 그냥 z하지 z z으로 감소하므로 (λyz. (λy.z) (y z))는 λy. λx. x 같은 인 λyz. z이다.