proving existential statements
Post on 10-Feb-2017
Embed Size (px)
Proving Existential Statementsx D such that Q(x)is true if, and only if,Q(x) is true for at least one x in D.
find an x in D that makes Q(x) true.Give a set of directions for finding such an x.Both of these methods are called constructive proofs of existence.
Proving Existential StatementsProve the following: an even integer n that can be written in two ways as a sum of two prime numbers.Let n = 10. Then 10 = 5 + 5 = 3 + 7 and 3, 5, and 7 are all prime numbers.Suppose that r and s are integers. Prove the following: an integer k such that 22r + 18s = 2k.Let k = 11r + 9s. Then k is an integer because it is a sum of products of integers; and by substitution, 2k = 2(11r + 9s), which equals 22r + 18s by the distributive law of algebra.
Proving Existential StatementsA nonconstructive proof of existence involves showing eitherthat the existence of a value of x that makes Q(x) true is guaranteed by an axiom or a previously proved theorem orthat the assumption that there is no such x leads to a contradiction. The disadvantage of a nonconstructive proof is that it may give virtually no clue about where or how x may be found.
Disproving Universal Statements by CounterexampleTo disprove a statement means to show that it is false.x in D, if P(x) then Q(x).Showing that this statement is false is equivalent to showing that its negation is truex in D such that P(x) and not Q(x).Example is given to show that statement is true and actual statement is false.Such as example is called counterexample.
Disproving Universal Statements by Counterexample
Proofs by ContradictionWe will assume that the claim we are trying to prove is wrong and reach a contradiction.If all the derivations along the way are correct, then the only thing that can be wrong is the assumption, which was that the claim we are trying to prove does not hold. This proves that the claim does hold.This method of proof is also known as reductio ad absurdum because it relies on reducing a given assumption to an absurdity.
Proofs by ContradictionFor example, if a man accused of holding up a bank can prove that he was at some place else at the time the crime was committed, he will certainly be cleared. The logic of his defense is as follows:Suppose I did commit the crime. Then at the time of the crime, I would have had to be at the scene of the crime. In fact, at the time of the crime I was in a meeting with 20 people far from the crime scene, as they will testify. This contradicts the assumption that I committed the crime since it is impossible to be in two places at one time. Hence that assumption is false.
Proofs by Contradiction
Proofs by ContradictionThe method of proof by contradiction, may be summarized as follows:Suppose the statement to be proved is false.Show that this supposition leads logically to a contradiction.Conclude that the statement to be proved is true.
Proofs by ContradictionWhen to use proof by contradictionProof by contradiction is indicatedIf you want to show that there is no object with a certain property,
Or if you want to show that a certain object does not have a certain property.
Proofs by ContradictionTHEOREM: There is no greatest integer.PROOF: Suppose there is a greatest integer N. Then n N for every integer n. LetM = N + 1Now M is an integer since it is a sum of integers.Also M > N since M = N + 1Thus M is an integer that is greater than the greatest integer, which is a contradiction. Hence our supposition is not true and so there is no greatest integer.
Proofs by ContradictionTHEOREM: Give a proof by contradiction for the statement:If n2 is an even integer then n is an even integer.PROOF:Suppose n2 is an even integer and n is not even, so that n is odd.Hencen = 2k + 1 for some integer k.Now n2= (2k + 1) 2= 4k2 + 4k + 1= 2(2k2 + 2k) + 1= 2r + 1where r = (2k2 + 2k) This shows that n2 is odd, which is a contradiction to our supposition that n2 is even. Hence the given statement is true.
Proofs by Contradiction-Home workProve by contradiction method, the statement: If n and m are odd integers, then n + m is an even integer.