Question 4.2 (6) Suppose f is a function symbol with one argument. For each of the following substitutions, state whethe
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Question 4.2 (6) Suppose f is a function symbol with one argument. For each of the following substitutions, state whethe
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