|
See some sample problems.
Although you are welcome to typeset your work nicely (using Microsoft Word or LaTeX or whatever to get nice logic symbols), it's probably much easier to write formulas by hand.
Remember that to prove a ∀ requires showing that something holds for all possible value. Disproving a ∀ is easier; you simply show one counterexample. Conversely, to disprove a ∃ requires showing that something never holds, and proving an ∃ is easier; you simply show a witness making the statement true.
If you see a few other problems in Rosen which catch your eye, and you'd like to do them for extra credit, you are welcome to (though you can ask me for how much; extra-credit is harder to earn point-per-point than regular credit).
If you write your own html, you might be interested in this page of useful html math (and other) entities
©2007, Ian Barland, Radford University Last modified 2007.Oct.13 (Sat) |
Please mail any suggestions (incl. typos, broken links) to ibarlandradford.edu |