1. (x)(Sx Rx)

  2. (x)(Sx ~Px)

  3. (x)(Cx Px)

  4. (x)(Ex Sx)

  5. (x)(Sx Ex)   

    Compare the answers to 4 and 5; note how the 'all' and 'only' propositions are the converse of one another.

  6. (x)(Vx Px)

  7. (x)(Ux Sx)

  8. (x)(Ux Ex)

  9. (x)(Gx ~Ax)

  10. (x)(Dx Bx)

  11. (x)(Vx ~Sx)

  12. (x)(Vx ~Sx), or ~(x)(Vx Sx)

  13. (x)(Hx ~Ex)

  14. (x)(Sx Ix Hx)

  15. (x)[Cx (~Wx Sx)]

  16. (x)[Mx (Dx Ex)]

  17. (x)[(Fx Vx) (Wx Dx)]   

  18. (x)[Ex (~Mx ~Lx Fx)]

  19. (x)[Px [Gx (Wx Ex)]]

  20. (x)[(Ix Ux) (Px Fx)]

  21. (x)(Ax Fx ~Tx)

  22. (x)[Gx [(Wx Ex) Hx]

  23. (x)(Px Tx ~Hx)

  24. (x)[(Ax Ox) (Dx ~Rx)]