HW 3 - Propositional Reasoning

Complete exercises 6.3.1, 6.3.4, 6.3.5c-d, 6.3.9, and 6.3.12 from the (3rd ed) course text. Note that exercises in bold in the book have a solution in the back so that you can check your work. It is awkward to type the propositional symbols ¬ ∧ ∨ → ≡ etc into a computer. For this reason, you may use the words "not", "and", and "or", the symbol "->", and the symbol "=" for equivalence instead. If you use other alternate notation make sure to explain it in your work. Recall that these assignments will be only very loosely graded. If you have a specific question for the grader, put it in square brackets and start it with "Question for grader:", e.g. "[Question for grader: Why am I typing this?]". You may submit ASCII or Unicode text, PDFs, or turn in your work on paper. No Word docs or other proprietary formats, please. If in doubt, ask.