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: Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Mathematical theorems and proofs do not occur in isolation, but always in the context of some mathematical system. MAT 300 Awtrey MATHEMATICS AND STATISTICS 1 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Mathematical theorems and proofs do not occur in isolation, but always in the context of some mathematical system. For example, if we are talking about prime numbers, the context is all positive integers. When talking about even and odd numbers, the context is all integers. MAT 300 Awtrey MATHEMATICS AND STATISTICS 1 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Mathematical theorems and proofs do not occur in isolation, but always in the context of some mathematical system. For example, if we are talking about prime numbers, the context is all positive integers. When talking about even and odd numbers, the context is all integers. When dealing with quantified statements, it is particulary important to know exactly what system is being considered. MAT 300 Awtrey MATHEMATICS AND STATISTICS 1 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Mathematical theorems and proofs do not occur in isolation, but always in the context of some mathematical system. For example, if we are talking about prime numbers, the context is all positive integers. When talking about even and odd numbers, the context is all integers. When dealing with quantified statements, it is particulary important to know exactly what system is being considered. For example, the statement 8 x ; p x 2 = x is true in the context of the positive numbers but is false when considering all real numbers. MAT 300 Awtrey MATHEMATICS AND STATISTICS 1 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Mathematical theorems and proofs do not occur in isolation, but always in the context of some mathematical system. For example, if we are talking about prime numbers, the context is all positive integers. When talking about even and odd numbers, the context is all integers. When dealing with quantified statements, it is particulary important to know exactly what system is being considered. For example, the statement 8 x ; p x 2 = x is true in the context of the positive numbers but is false when considering all real numbers. Likewise, 9 x s.t. x 2 = 25 and x < 3 is false for positive numbers but true for all reals. MAT 300 Awtrey MATHEMATICS AND STATISTICS 1 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Proving Universal Statements How do we begin the proof of a universal statement 8 x ; p ( x ) MAT 300 Awtrey MATHEMATICS AND STATISTICS 2 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Proving Universal Statements How do we begin the proof of a universal statement 8 x ; p ( x ) The answer is always the same MAT 300 Awtrey MATHEMATICS AND STATISTICS 2 / 36 Section 4 – TECHNIQUES OF PROOF: II Techniques of Proof Proving Universal Statements How do we begin the proof of a universal statement...
View
Full
Document
This note was uploaded on 02/22/2011 for the course MAT 300 taught by Professor Thieme during the Spring '07 term at ASU.
 Spring '07
 thieme
 Math, Statistics

Click to edit the document details