{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

dm-lec19-review - Schedule 1/2 Review Chapter 1 ~ Chapter 6...

Info icon This preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
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.
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon