Math 2200: Discrete Math
Spring 2014
Exam 1 Information
• The test will be on Monday, February 10 during the regular class period.
• No calculators (I’m not sure what you’d use it for, to be honest.)
• You must show your work. No credit will be given if no work is shown. Partial credit
will be given for partially correct solutions.
• You may bring a 3 × 5 index card with notes.
• The test will cover all material from chapter 1. Questions are likely to be similar to
homework problems.
• Proofs on the test will be similar in style to the ones on the homework, but there will
be some you have not seen before.
Important vocab:
(You don’t need to be able to write a definition for all of these, but you should be comfortable
working with them.)
proposition
truth value
negation
logical operators
truth table
disjunction
conjunction
exclusive or
conditional statement
converse
inverse
contrapositive
tautology
contradiction
contingency
logically equivalent
predicate
domain
universal quantifier
existential quantifier
argument form
premise
conclusion
valid
rule of inference
theorem
proof
axiom
direct proof
proof by contraposition
1
proof by contradiction
proof by exhaustion
proof by cases
without loss of generality
counterexample
constructive existence proof
nonconstructive existence
.
proof
uniqueness proof
rational number
even number
odd number
perfect square