2. Which of the following is TRUE on the given interpretation?
a. (%x)~Mx b. (^x)~Sx c. (^x)Sx=~(%x)Mx

3. Which of the following is TRUE on the given interpretation?
a. (^x)(Mx>Fx) b. (^x)(Fx>Mx) c. (^x)(Fx=Mx)

4. '(^x)(Mx>Fx)' is FALSE because
a. the substitution instance 'Mg>Fg'is false. b. the substitution instance 'Mj>Fj'is false.

5. '(^x)(Mx=Fx)' is FALSE because
a. the substitution instance 'Mg=Fg' is false. b. the substitution instance 'Mj=Fj' is false.

6. '(^x)(Fx>Mx)' is TRUE because
a. the substitution instance 'Fg>Mg' is true. b. the substitution instance 'Fj>Mj' is false. c. both substitution instances are true.

7. Which of the following is true?
a. (^x)(%y)Byx b. (%x)(%y)(Byx&~Mx) c. (%x)(%y)(Byx&Fx) d. (%x)(%y)(Bxy&Fx)

8. '(^x)(%y)Byx' is FALSE because
a. 'Bgj' is a true substitution instance of '(^x)(%y)Byx'. b. 'Bjg' is a false substitution instance of '(^x)(%y)Byx'. c. '(%y)Byg' is a false substitution instance of '(^x)(%y)Byx'.

9. '(%x)(%y)(Byx&~Mx)' is FALSE because
a. There is no way to substitute in for x and make 'Byx' true. b. There is no way to substitute in for x and make '~Mx' true.

10. '(%x)(%y)(Byx&Fx)' is FALSE because
a. Substituting in for x to make 'Fx' true requires that x be set to g, the first president. But then there is no way to to truthfully substitute in for y. b. There is no way to substitute in for x and y to make 'Bxy' true.