Contrapositive supposenj12,sothereisaninteger c forwhich 12. Likedirectproof,thetechniqueofcontrapositiveproofis. A contradiction is a statement which is always false. For example, a total postage of 12 cents uses three 4cent stamps. The basic concept is that proof by contrapositive relies on the. Mathematical proofs a transition to advanced mathematics. Sep 25, 2014 this video demonstrates a proof by contrapositive.
It focuses on catherine, a young woman who has spent years caring for her. In general, if one of the two statements are true, then the other must be true a proof is beyond what is required for the ism. Writing a proof, trivial and vacuous proofs, direct proofs, proof by contrapositive, proof by cases, proof evaluations slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. Contrapositive definition of contrapositive by the free. The three forms are 1 direct if n2 is even, n is even. But, from the parity property, we know that an integer is not odd if, and only if, it is even. Converses, contrapositives and proof by the contrapositive. There is a big difference between the contrapositive and negation of a mathematical statement. Learn vocabulary, terms, and more with flashcards, games, and other study tools. A proof is a valid argument that establishes the truth of a theorem as the conclusion statements in a proof can include the axioms. The method of proof by contraposition is based on the logical equivalence between a statement and its contrapositive. What is an easy statement to prove by direct, contrapositive. It is often equivalent to proof by contrapositive, though it is subtly different see the examples.
Contrapositivesupposen j 12,sothereisanintegerc forwhich 12. If no box contains 4 or more balls then it is not true that 40 balls were distributed among 10 boxes. Proof contrapositive contrapositive statement if n is not even then 1 n 6 1 from cse 20 at university of california, san diego. The contrapositive is logically equivalent to the original statement, so if we prove that the contrpositive is true then the original statement must also be true. The book can be downloaded from my web page in pdf format for free, and the print version costs considerably less. For example, the assertion if it is my car, then it is red is equivalent to if that car is not red, then it is not mine. The statement \a implies b can be written symbolically.
I figured the best way to prove that is the contrapositive, i got this far. So, to prove if p, then q by the method of contrapositive means to prove if. I will assume that x is odd and y is even without loss of generality, since x and y are commutative. Copious examples of proofs 19 rewrite it in each of the three forms and prove each. In the case of negation of a statement the logic involved in it get completely reversed. Contraposition the law of traditional logic that holds that if from a certain proposition a there follows the proposition b, then from the negation of the proposition b follows the negation of the proposition a or in the language of conditional propositions.
By the closure property, we know b is an integer, so we see that 3jn2. The basic concept is that proof by contrapositive relies on the fact that p. Mathematical proofmethods of proofproof by contrapositive. Contrapositive proof example proposition suppose n 2z. For all integers n, if n is even, then n 2 is even. Converses, contrapositives and proof by the contrapositive the converse of the implication p q is the reverse implication q p. Pdf a statement, the contrapositive and the inverse. Pdf the equivalence between a statement and its contrapositive is so obvious for an expert that, usually, he does. So this is a valuable technique which you should use sparingly. Chapter 9 contrapositiveproof wenowexamineanalternativetodirectproofcalledcontrapositive proof. Chapter 17 proof by contradiction university of illinois.
Proofs and mathematical reasoning university of birmingham. In logic, the contrapositive of a conditional statement is formed by negating both terms and. Proof is the winner of the 2001 pulitzer prize for drama. Set theory proof with contrapositive mathematics stack exchange. What is the difference between contrapositive and negation of. Mathematicalwriting 107 proposition suppose a, b2z andn n. Therefore, the contrapositive \if a,then b is also true. In this post, i would like to touch on another technique in proving which is proof by induction. Start studying geometry converse, inverse, and contrapositive. Lets start by looking at a few small values for k and see if both sides of the equation give the same results.
Shorser the contrapositive of the statement \a b i. To prove a statement of the form \if a, then b, do the following. Jul, 2011 once i finished up the post on contrapositive proofs i spend the better part of an hour feeling i wasnt quite finished with the topic. In mathematic logic, contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive. The contrapositive method is a direct proof of q p. Proof by contrapositive direct proof if a, then b note a.
Sep 10, 2012 this video describes proof by contraposition, a method of proving a conditional statement by constructing a direct proof of its contrapositive. A proof is a method of establishing the truthfulness of an implication. Since proof by contrapositive involves negating certain logical statements, one has to be careful. In other words, the conclusion if a, then b is inferred by constructing a proof of the claim if not. Negating the two propositions, the statement we want to prove has the form. To start viewing messages, select the forum that you want to visit from the selection below. A statement and its contrapositive are logically equivalent, in the sense that if the statement is true, then its contrapositive is true and vice versa. So, you had seen popular proof techniques such as direct proof and contrapositive proof. Since statement a follows from b, and b follows from a, these two statements are equivalent.
Set theory proof with contrapositive mathematics stack. It is very important to realize that these two implications are not logically equivalent. Apr 01, 2016 there is a big difference between the contrapositive and negation of a mathematical statement. Prove that every amount of postage of 12 cents or more can be formed using just 4cent and 5cent stamps. The proves the contrapositive of the original proposition. One of the most acclaimed plays of the 19992000 season, proof is a work that explores the unknowability of love as much as it does the mysteries of science. I figured the best way to prove that is the contrapositive, i. One of the most acclaimed plays of the 19992000 season, proof is a work that explores the unknowability of love as much as it does the. What is the difference between contrapositive and negation. Proof by contrapositive proof by contrapositive takes advantage of the logical equivalence between p implies q and not q implies not p. In fact, the contrapositive is true because the original statement is true. The book is available on my web page for free, and the paperback. This video is part of a discrete math course taught at the university of cinc.
Already, 60% of 2018 has been sunspot free, and the minimum wont happen until late 2019 at the earliest, and possibly not until 2020. Notes on proof by contrapositive and proof by contradiction hyunyoung lee august 31, 2018 in this short lecture note, i will explain the di erence between proof by contrapositive and proof by contradiction, which seem to cause easily some confusions. Proof contrapositive contrapositive statement if n is not. If ab 0 and bc contrapositive of the given statement. However, in a proof by contradiction, we assume that p is true and q is false and arrive at some sort of illogical statement such as 12. Once i finished up the post on contrapositive proofs i spend the better part of an hour feeling i wasnt quite finished with the topic. Therefore, if you show that the contrapositive is true, you have also shown that the original statement is true. Contrapositive examples the infinite series module. The underlying reasoning is that since a conditional statement is logically equivalent to its contrapositive, if the contrapositive is true, then the statement must also be true. For instance, the proposition all cats are mammals can be restated as the conditional if something is a cat, then it is a mammal. This video describes proof by contraposition, a method of proving a conditional statement by constructing a direct proof of its contrapositive. That is, for all integers n, if n is not odd, then n 2 is not odd. Mathematical induction is a special way of proving things, most commonly used to established the given statement for all natural numbers.
That is, write the rst sentence or two of the proof that is, the assumptions, and the last sentence of the proof that is, the conclusion. The statement \a implies b can be written symbolically as \a b. If a number is not even, then it is not divisible by 2. If p leads to a contradiction, then p cant be true, and therefore p must be true. The contrapositive is certainly true because the entire province of bc is a part of canada. Presentation slides in pdf and latex formats have been created to accompany every chapter. Contrapositive example with sets the infinite series module. We started with direct proofs, and then we moved on to proofs by contradiction and mathematical induction. It is free math help boards we are an online community that gives free mathematics help any time of the day about any problem, no matter what the level. Try not to think about this particular point too much. Oct 11, 2014 writing a proof, trivial and vacuous proofs, direct proofs, proof by contrapositive, proof by cases, proof evaluations slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. Notice that we did not alert the reader that we are doing a proof of the contrapositive. Setting up proof by contrapositive katherine stange, spring 2018 for each theorem, set up the form of a proof by contrapositive. Contents preface vii introduction viii i fundamentals 1.
311 1195 850 878 98 357 1520 1087 894 308 468 497 69 1256 1391 1175 119 1236 372 1317 554 1390 848 1252 1084 389 1462 777 280 1033 253 111 1375 850 593 705 299 502 1101 1364 304 1343 506 1215 1213 468