2. For each of the following terms, identify the free variablesin each term and identify which terms are closed:
a. t1 = x
b. t2 = (λy.y)
c. t3 = (λx.(x y))
d. t4 = ((λx.y) x)
e. t5 = λy.w λw.wyzx
f. t6 = λx.xz λy.xy
g. t7 = ((((λx.x)z)x)(( λy.(z y))y))
Expert Answer
An answer will be send to you shortly. . . . .