section04

section04 - Section 4 – TECHNIQUES OF PROOF II Techniques...

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: 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.

Page1 / 108

section04 - Section 4 – TECHNIQUES OF PROOF II Techniques...

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