This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full 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.
 Spring '10
 ARNasser

Click to edit the document details