lambda calculus binding

Problem 2 (Lambda calculus binding). For each of the following determine for each variable x the Ax. it is bound to. I have numbered the variables and the abstractions. The variables are numbered using Arabic numerals and the abstractions are numbered using roman numerals. If variables 4 and 7 are bound to abstraction I, your answer should be of the forml > 4,7 to indicate that abstraction I has variables 4, and 7 bound by it. Example (2x. x x . x ) x I 1 2l 3 4 Answer > 1,2 a. x (Xx. x x)x I 1 2 II 3 4 II 1 II 2 3 IlI 1 2 IV 3 4 V 56 VI 78 Problem 2 (Lambda calculus binding). For each of the following determine for each variable x the Ax. it is bound to. I have numbered the variables and the abstractions. The variables are numbered using Arabic numerals and the abstractions are numbered using roman numerals. If variables 4 and 7 are bound to abstraction I, your answer should be of the forml > 4,7 to indicate that abstraction I has variables 4, and 7 bound by it. Example (2x. x x . x ) x I 1 2l 3 4 Answer > 1,2 a. x (Xx. x x)x I 1 2 II 3 4 II 1 II 2 3 IlI 1 2 IV 3 4 V 56 VI 78