ICS253_Lecture_11

ICS253_Lecture_11 - Outline Introduction to Proofs Direct...

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon

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

View Full DocumentRight Arrow Icon

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

View Full DocumentRight Arrow Icon

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

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

Unformatted text preview: Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction ICS 253 Lecture 11 Dr. Adel F. Ahmed ICS - CCSE - KFUPM November 3, 2008 Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Introduction to Proofs Direct Proof Definition Examples: Direct Proof Proof by Contraposition Examples: Contraposition Contraposition, another example Vacuous and Trivial Proofs More Examples Example 1: The sum of rational numbers Example 2 Proof by Contradiction Proof by Contradiction for Conditional Statements Example: Proof by Contradiction for Conditional Statements Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Terminology I Theorem: A statement that can be shown to be true. Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Terminology I Theorem: A statement that can be shown to be true. I We demonstrate that a theorem is true with a proof. Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Terminology I Theorem: A statement that can be shown to be true. I We demonstrate that a theorem is true with a proof. I Proof: A valid argument that establishes the truth of a theorem. Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Terminology I Theorem: A statement that can be shown to be true. I We demonstrate that a theorem is true with a proof. I Proof: A valid argument that establishes the truth of a theorem. I Lemma: A less important theorem that is helpful in the proof of other results. Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Terminology I Theorem: A statement that can be shown to be true. I We demonstrate that a theorem is true with a proof. I Proof: A valid argument that establishes the truth of a theorem. I Lemma: A less important theorem that is helpful in the proof of other results. I Corollary: A theorem that can be established directly from a theorem that has been proved. Dr. Adel F. Ahmed ICS 253 Lecture 11 Outline Introduction to Proofs Direct Proof Proof by Contraposition More Examples Proof by Contradiction Terminology I Theorem: A statement that can be shown to be true. I We demonstrate that a theorem is true with a proof. I Proof: A valid argument that establishes the truth of a theorem....
View Full Document

This note was uploaded on 01/27/2011 for the course ICS 253 taught by Professor Arnasser during the Spring '10 term at GWU.

Page1 / 53

ICS253_Lecture_11 - Outline Introduction to Proofs Direct...

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

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