3. Indicate which of the listed expressions are substitution instances of '(Ax)(Ey)(Bxy > Byx)'.
a. Bab > Bba
b. (Ey)(Bay > Bya)
c. (Ey)Bay > Bya
d. (Ey)(Bcy > Byc)
A substitution instance is a formula that results from a consistent replacement of constants for variables in a sentence.
a. (Ax)(Ey)(Bxy > Byx)
(Ey)(Bay > Bya) (First ...
This job identifies substitution instances.