(a) Define substitution of variables for terms recursively. That is, for two arbitrary terms s and...

Transcribed Image Text:

(a) Define substitution of variables for terms recursively. That is, for two arbitrary terms s and t, recursively define what s{x/t)] is. For example, f(x, a, y)[x/g(a)] = f(g(a), a, y). (a) Define substitution of variables for terms recursively. That is, for two arbitrary terms s and t, recursively define what s{x/t)] is. For example, f(x, a, y)[x/g(a)] = f(g(a), a, y).