Variable Capture

Variable capture means a location that had a Free Variable in it becomes bound after the substitution or a location that had a bound variable in it becomes bound to a different quantifier after the substitution.

We have to watch out for “variable capture” in substitution.

Example of Variable Capture

If is and we try to do we would arrive at , which is NOT correct. This is an example of variable capture.