For each of the following determine for each variable x the !x. 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 form I 4, 7 to indicate that abstraction I has variables 4, and 7 bound by it.

Problem 1 (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 l, your answer should be of the form | 4,7 to indicate that abstraction l has variables 4, and 7 bound by it. Example l 12 Il 3 4 1 1,2 11 3 Answer a. (Ax. x x) (Jx. x )x I 1 2 II 3 4 | 1 2 I 111 3 4 IV56V 7 8 l 1 2 3 4 5 6 IV 7 8