9.4 For each pair of ato show each step clearly - each substitution is a separated step a. P(A, B, B), P, y, z) b. Q0, ga, B)), Q(G(x, x), y) c. Older(Fathery),y), d. KnosFather), y), Knows(x, x) Older Father(x), John) Note: x, y, and z are variables 9.4 For each pair of ato show each step clearly - each substitution is a separated step a. P(A, B, B), P, y, z) b. Q0, ga, B)), Q(G(x, x), y) c. Older(Fathery),y), d. KnosFather), y), Knows(x, x) Older Father(x), John) Note: x, y, and z are variables