dm-lec6-mathInduction-s - Discrete Mathematics CS204...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Discrete Mathematics CS204 Lecture #5 September 14, 2009 at KAIST 1
Background image of page 1

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

View Full DocumentRight Arrow Icon
Review Recall that - Proof by examples does not count as a proof unless the examples are exhaustive. - Among methods of direct proofs, there are Constructing a counterexample for negation of a universally quantified statement, Constructing an example for an existentially quantified statement, Proving both directions of implication for a propositional equivalence, 2
Background image of page 2
- Among methods of indirect proofs, there are Proof by contradiction, Proof by contrapositive, Nonconstructive existence proof. 3
Background image of page 3

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

View Full DocumentRight Arrow Icon
Induction and Deduction - In inductive reasoning, we collect evidences that support a general rule. Many important scientific discoveries are due to inductive reasoning. Essentially, it is the mathematically wrong method of proof by examples 4
Background image of page 4
- In deductive reasoning, we show that the truth of the conclusion is a logical consequence of given premises. Every mathematical argument is deductive.
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 13

dm-lec6-mathInduction-s - Discrete Mathematics CS204...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online