Transcript abouttest1

Test 1
•
•
•
•
•
Friday, February 21, in class
Closed book, closed notes
No calculators or calculating devices
50 minutes (arrive promptly)
Covers sections 1.1-1.7
Procedure
• I will pass the tests out at 10:00
• Questions can be brought to me during the test
– I’ll answer questions about questions (not about
answers)
• When you finish your test, bring it up to me and
I’ll mark your name on the roll
• At the end of class, all remaining tests will be
collected
General Comments
• Ample space is provided for your answers
– You may use the back of pages for scratch work
• If you need more room for an answer and do
run over to the back of a page, be sure to
clearly indicate where your answer continues
• Show your work where appropriate in order
to receive consideration for partial credit
• It is best to use a pencil with eraser so that
you can correct your mistakes easily
Advice
• Pace yourself well to complete the test
• If you finish early, you might want to check
over your answers
• If you are unsure of how much explanation a
problem requires, feel free to ask (or err on
the side of more explanation)
• As part of your studying, be sure to
understand the homework problems we did
Know how to …
• Translate English statements to propositions
and vice-versa
• Reason with propositional statements to
draw conclusions
• Solve logic puzzles
• Determine and show logical equivalences
• Simplify compound propositions
You should know …
• Logic operators: and, or, implication,
biconditional, exclusive-or, not
• Common logical equivalences
• Predicates and quantifiers, rules of
inference, how to apply rules of inference
• How to translate English statements into
predicate logic and vice versa
Proof Methods
• You should be able to prove statements
– This requires knowledge of and facility with the
various proof techniques: direct, indirect, by
contradiction, trivial, vacuous
– How to prove statements are logically equivalent
– Proof by cases, existence proof, uniqueness proof
– When can you use a counterexample?
Sets
• Know the terminology and notation used
with sets: set, object, element, member, in,
contains, subset, equal, disjoint,
intersection, union, difference, complement,
cardinality, finite, infinite, empty set, power
set, etc.
• Know about ordered n-tuples and Cartesian
products
• Be able to work with sets and set operations