[황재동]

(execute (a (a (v "x") I ) (a (a I K ) (a (v "y") ( v "z")) ) ) )
를 할 경우에
"((x I) (K (y z)))" 가 맞는표현인지
여기서 (K (y z)) -> z

((x I) z) -> (x z)

so, (x z)
이 맞는 표현인지 궁금합니다.

[김윤승]

((x I) (K (y z))) 에서 끝나는 것 같은데요?

((K y) z) -> y 이긴 한데 (K (y z)) -> z는 아니지 않나요?

또 ((x I) z) -> (x z) 도 아니구요.