Explore BrainMass

substitution instances

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)

Solution Preview

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 ...

Solution Summary

This job identifies substitution instances.