PS01: Propositional Logic

Due Fri 9/19 @ 10am.

Write each of the following statements in the form “if p, then q”.

  1. Elvis gets sick whenever he rides on a rollercoaster.
  2. To win the lottery, it is necessary to buy a ticket.
  3. You can run the game Crysis of Nukemcraft Online only if you have 8 TB of RAM.

Also do the following eleven problems from the book (listed on pages 316 and 317, at the end of section 3.2). In your writeup, number them consecutively from as shown below; don't use the problem numbers from the book.

  1. 3.5
  2. 3.7
  3. 3.9
  4. 3.11
  5. 3.13
  6. 3.14
  7. 3.16
  8. 3.17
  9. 3.20
  10. 3.21
  11. 3.24

Remember that your solutions must be written up using LaTeX, exported to a PDF, and submitted through Moodle. Your solutions must be complete, self-contained ideas, and there are also some basic requirements about formatting. See the homework guidelines for more information, and see the LaTeX resources page for help getting started with LaTeX.