COMP 280 Assignment 1

Do the following problems found on the following page: Exercises for Propositional Logic I. This will total 100 points. The practice problems, while recommended, should not be turned in. Be sure to answer all questions within each problem unless otherwise directed.

• Problem 6: 5 points
• Problem 8: 5 points
• Problem 9: 10 points
• Problem 11: 5 points
• Problem 13: 5 points
• Problem 14: 5 points
• Problem 17: 5 points
• Problem 18 parts 1, 7, and 8: 10 points
• Problem 19: 5 points
• Problem 24: 10 points
• Problem 26: 10 points
• Problem 27: 10 points
• Problem 28 part 2: 5 points
• Problem 29: 10 points

In addition, for this assignment only, you can receive up to 5 points extra credit for nicely typesetting your homework. (We hope this will inspire you to continue doing so on later assignments.) At a bare minimum, this includes using tables where appropriate and correct symbols such as ⇒ instead of =>. Recommended programs include:

• An editor + LaTeX: Not WYSIWIG, so it's harder to learn, but it can give the best results. latex is installed on OwlNet.
• LyX: A WYSIWYG interface to LaTeX. lyx is installed on OwlNet.
• Microsoft Word + Equation Editor: Equation Editor gives much better results than Word alone.
• Keynote + Equation Editor or LaTeX Equation Editor or Grapher