Problems from the Hein textbook and are to be done individually, not in pairs or other groups.
You are required to prepare your solutions to these questions using the LaTex text formatting system. We will go over this in detail in class. The files from previous assignments hw1example.tex and hw2example.tex should have enough LaTeX to get you started with the extra facts that the universal and existential quantifiers are \forall and \exists respectively. You will upload both your LaTeX source file and your PDF file using the Homework Submission page.
hw6example.tex shows (again) how to draw trees and graphs.