FOL

Question 1

What happens when you capture a free variable during Substitution?

Answer 1

This is forbidden in FOL is it makes free variables bound.

We have to follow Capture-Avoiding Substitution Application which is renaming the bound variable