Review
Chapter 1 ~ Chapter 6
October 19, 2009
Schedule 1/2
Wednesday 11:00 ~ 12:20
12:50
(Lecture Hall #1
공동강의실
)
Ch.1 Sets and Logic
•
Set
C
•
Cardinality
•
Subset, proper subset, power set
•
Union intersection difference (relative complement)
Union, intersection, difference (relative complement)
•
Disjoint, pairwise disjoint
•
Universal set (universe) complement
Universal set (universe), complement
•
Venn diagrams
•
Partition
•
Ordered pair
•
Cartesian product
•
You should know how to define each and how to read
(interpret) the notations
[email protected]
CS204 Discrete Math (Fall 2009)
3
Ch.1 Sets and Logic
•
Propositions
conj nction disj nction negation
–
conjunction, disjunction, negation
–
conditional proposition, necessary condition, sufficient condition,
converse, contrapositive
Logically equivalent
–
•
Arguments, Rules of Inference
–
Deductive reasoning
–
Modus ponens, modus tollens,… hypothetical syllogism,
disjunctive syllogism
•
Quantifiers
–
Propositional function (predicate)
–
Universal quantifier, existential quantifier
–
Generalized De Morgan’s Laws
•
Determine some
–
Rules of inference for quantified statements
•
Universal/existential instantiation/generalization
– Nested quantifiers
argument is valid.
•
Determine some
statement is true or
f l
Nested quantifiers
[email protected]
CS204 Discrete Math (Fall 2009)
4
false.

This ** preview** has intentionally

**sections.**

*blurred***to view the full version.**

*Sign up*