Purchase Solution

substitution instances

Not what you're looking for?

Ask Custom Question

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