A LaTeX template for Problem Set 2, containing the questions and space to put your answers, is available here (courtesy of Jamie).

Also, there is a typo in one of the exercises in the book: in exercise 2.3, problem 13(h), in the second premise, the “for all y” should be “for all x”. This has been corrected in the template above.