Purchase Solution
substitution instances
Not what you're looking for?
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)
Purchase this Solution
Solution Summary
This job identifies substitution instances.
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 ...
Purchase this Solution
Free BrainMass Quizzes
The World Health Organization
This quiz assesses the students knowledge about the World Health Organization. Although listed under “Philosophy” it is relevant to health care, political science, pre-med, and social scientist students as well.
Descartes Meditations on First Philosophy
Short quiz relating to Descartes