Question: Consider the substitution A [ B / C ] where A = xp ( y ) yp ( y ) B = p ( y
Consider the substitution A BC
where
Axpyypy
Bpy
and Cqxy
What variables, if any, become bound or free due to the substitution?
a
x
becomes bound.
b
x
becomes free.
c
x
and y
become free.
d
x
becomes bound and x
becomes free.
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
