Math 99 (Notes)
encoding [Prev][Up][Next]

Exam 1 Review Sheet:

For the exam on Friday, it would help you to do the following things:

  1. Learn the definitions you needed to know for the quiz, plus the definition of a function. Know the definitions precisely. You should know the statements in formal language, as well as interpretations in words. E.g., "AB" means "("x)(xA xB)" and this can be read as "everything in A is also in B".

  2. Do "blank-paper practice" for the problems on the four problem sets that have been handed back. Note: You should be able to do all the problems, including the hard ones. Avoid repeating a mistake you made on the problem set.

  3. Understand these challenging concepts:

    1. vs. vs. =
    2. AB vs. AB
    3. P(A), the power set of A.
    4. ("x)(P(x)) vs. { x | P(x) }
    5. "For all x, ..." vs. "There exists an x where ..."
    6. ("x)($y)(P(x,y)) vs. ($y)("x)(P(x,y))
    7. PQ vs. AB
    8. P(x) Q(x) vs. { x | P(x) and Q(x) }

  4. Know the negations of the various types of propositions we've studied.

  5. Know the contrapositive, converse, and inverse, and which ones are equivalent.

  6. Know how to translate English into formal logic and vice versa.

  7. Know the proofs of these key examples. You should not memorize them, but should remember the central idea(s) and reconstruct the proof from that memorized core.

    1. ØA=Ø for all A (theorem 9/22/00)
    2. AB if, and only if, P(A)P(B) (theorem 9/25/00)
    3. AB=Ø if, and only if, A=Ø or B=Ø (PS3#5)
    4. For AØ and BØ, ABCD iff AC and BD (PS3#6)

[HOME] Math 99 (Fall 2000) web pages
Created: 28 Apr 1999
Last modified: 04 Nov 2000 09:51:14
Comments to:
[Next] Quiz 2 Review
[Up] Selected Course Notes
[Prev] Quiz 1 Review