This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: A Transition to Advanced Mathematics by Smith, et.al (7th edition) Deﬁnitions from book: Theorem: 3 statement that describes a pattern or relationship among quantities or structures.
 Proof: a justiﬁcation of the truth of a theorem.  Axioms (or postulates): an initial set of statements that are assumed to be true. Rule of a proof: In any proof you may at any time state an assumption, on axiom, or previously proved result. Replacement rule: At any time stating a sentence equivalent to any statement earlier in the proof. Tautology rule: At any time stating a sentence whose symbolic translation is a tautoiogy. Modus Ponens: At any time after P and P => Q in a proof, state that Q was true. 0 Strategies for Developing a Direct Proof of a Conditional Sentence 0 Determine precisely the hypothesis (if any) and antecedent and consequent.
Replace (if necessary) the antecedent with a more usable equivalent. 0
0 Replace (if necessary) the consequent by something equivalent and more readily shown.
0 Beginning with the assumption of the antecedent, develop a chain of statements that leads to the consequent. Each statement in the chain must be deducible from its predecessors or other
known results. 0 Proof of Exhaustion examination of every possible case in an example to prove true. EXAMPLE: (p. 30) You are at a crime scene and have established the following facts: 1. If the crime did not take place in the billiard room, then Colonel Mustard is guilty.
2. The lead pipe is not the weapon. 3. Either Colonel Mustard is not guilty or the weapon used was a lead pipe. We can now construct a proof based on these facts and modus ponens, and show that the crime took place in the billiard room:
m Proof:  Statement (1) “8 => M 0 Statement (2) "L 0 Statement (3) "M V L I Statements (1) and (2) and (3) ("B => M) A "L A ("M V L) o Statements (1),(2) and (3) [("B => M) A "L A (“‘M V L)] => B
Imply the crime took is a tautology. place in the billiard room.
Therefore, the crime took place B
In the billiard room. \ DIRECT PROOF OF P => Q Proof:
Assume P
Therefore, Q.
Thus, P => Q.
Example from class: (73)
Let a be an integer.
Prove that 2a1 is odd:
(Va eZ)( 2a1 is odd)
((Va eZ)(3k eZ)[2a1=2k+1]
"F ind a £2"
THINKING LAND:""" Want to ﬁnd k 82 so that 2a1=2k+1
2311=2k
2a2=2k
a—1=k Proof: ﬁx a 22. Let k=a1. Since a 52; k 82
Note: 2a1=2k+1  So by deﬁnition of odd integer, 231 is odd. ...
View Full
Document
 Fall '11
 Staff
 Advanced Math

Click to edit the document details