Question 4.2 (6) Suppose f is a function symbol with one argument. For each of the following substitutions, state whethe
Posted: Mon Jul 11, 2022 12:07 pm
Question 4.2 (6) Suppose f is a function symbol with one argument. For each of the following substitutions, state whether it will create a problem. If there is no problem, write down the substituted formula. If there will be a problem, state how you would solve it and then write down the substituted formula. Question 4.2.1 p[f(z)/x] p[f(z)/y] p[f(x)/y] Question 4.2.2 Question 4.2.3