Here 'p' refers to 'hypotheses' and 'q' refers to 'conclusion'. (If p then q), Contrapositive statement is "If we are not going on a vacation, then there is no accomodation in the hotel." A function can only have an inverse if it is one-to-one so that no two elements in the domain are matched to the same element in the range. function init() { We also acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, and 1413739. A contradiction is an assertion of Propositional Logic that is false in all situations; that is, it is false for all possible values of its variables. 50 seconds (P1 and not P2) or (not P3 and not P4) or (P5 and P6). Whats the difference between a direct proof and an indirect proof? "If it rains, then they cancel school" If the conditional is true then the contrapositive is true. In mathematics or elsewhere, it doesnt take long to run into something of the form If P then Q. Conditional statements are indeed important. The LibreTexts libraries arePowered by NICE CXone Expertand are supported by the Department of Education Open Textbook Pilot Project, the UC Davis Office of the Provost, the UC Davis Library, the California State University Affordable Learning Solutions Program, and Merlot. What is the inverse of a function? If you read books, then you will gain knowledge. Given an if-then statement "if C Assuming that a conditional and its converse are equivalent. What is Symbolic Logic? The contrapositive version of this theorem is "If x and y are two integers with opposite parity, then their sum must be odd." So we assume x and y have opposite parity. The original statement is true. ThoughtCo. The inverse of NCERT Solutions Class 12 Business Studies, NCERT Solutions Class 12 Accountancy Part 1, NCERT Solutions Class 12 Accountancy Part 2, NCERT Solutions Class 11 Business Studies, NCERT Solutions for Class 10 Social Science, NCERT Solutions for Class 10 Maths Chapter 1, NCERT Solutions for Class 10 Maths Chapter 2, NCERT Solutions for Class 10 Maths Chapter 3, NCERT Solutions for Class 10 Maths Chapter 4, NCERT Solutions for Class 10 Maths Chapter 5, NCERT Solutions for Class 10 Maths Chapter 6, NCERT Solutions for Class 10 Maths Chapter 7, NCERT Solutions for Class 10 Maths Chapter 8, NCERT Solutions for Class 10 Maths Chapter 9, NCERT Solutions for Class 10 Maths Chapter 10, NCERT Solutions for Class 10 Maths Chapter 11, NCERT Solutions for Class 10 Maths Chapter 12, NCERT Solutions for Class 10 Maths Chapter 13, NCERT Solutions for Class 10 Maths Chapter 14, NCERT Solutions for Class 10 Maths Chapter 15, NCERT Solutions for Class 10 Science Chapter 1, NCERT Solutions for Class 10 Science Chapter 2, NCERT Solutions for Class 10 Science Chapter 3, NCERT Solutions for Class 10 Science Chapter 4, NCERT Solutions for Class 10 Science Chapter 5, NCERT Solutions for Class 10 Science Chapter 6, NCERT Solutions for Class 10 Science Chapter 7, NCERT Solutions for Class 10 Science Chapter 8, NCERT Solutions for Class 10 Science Chapter 9, NCERT Solutions for Class 10 Science Chapter 10, NCERT Solutions for Class 10 Science Chapter 11, NCERT Solutions for Class 10 Science Chapter 12, NCERT Solutions for Class 10 Science Chapter 13, NCERT Solutions for Class 10 Science Chapter 14, NCERT Solutions for Class 10 Science Chapter 15, NCERT Solutions for Class 10 Science Chapter 16, NCERT Solutions For Class 9 Social Science, NCERT Solutions For Class 9 Maths Chapter 1, NCERT Solutions For Class 9 Maths Chapter 2, NCERT Solutions For Class 9 Maths Chapter 3, NCERT Solutions For Class 9 Maths Chapter 4, NCERT Solutions For Class 9 Maths Chapter 5, NCERT Solutions For Class 9 Maths Chapter 6, NCERT Solutions For Class 9 Maths Chapter 7, NCERT Solutions For Class 9 Maths Chapter 8, NCERT Solutions For Class 9 Maths Chapter 9, NCERT Solutions For Class 9 Maths Chapter 10, NCERT Solutions For Class 9 Maths Chapter 11, NCERT Solutions For Class 9 Maths Chapter 12, NCERT Solutions For Class 9 Maths Chapter 13, NCERT Solutions For Class 9 Maths Chapter 14, NCERT Solutions For Class 9 Maths Chapter 15, NCERT Solutions for Class 9 Science Chapter 1, NCERT Solutions for Class 9 Science Chapter 2, NCERT Solutions for Class 9 Science Chapter 3, NCERT Solutions for Class 9 Science Chapter 4, NCERT Solutions for Class 9 Science Chapter 5, NCERT Solutions for Class 9 Science Chapter 6, NCERT Solutions for Class 9 Science Chapter 7, NCERT Solutions for Class 9 Science Chapter 8, NCERT Solutions for Class 9 Science Chapter 9, NCERT Solutions for Class 9 Science Chapter 10, NCERT Solutions for Class 9 Science Chapter 11, NCERT Solutions for Class 9 Science Chapter 12, NCERT Solutions for Class 9 Science Chapter 13, NCERT Solutions for Class 9 Science Chapter 14, NCERT Solutions for Class 9 Science Chapter 15, NCERT Solutions for Class 8 Social Science, NCERT Solutions for Class 7 Social Science, NCERT Solutions For Class 6 Social Science, CBSE Previous Year Question Papers Class 10, CBSE Previous Year Question Papers Class 12, Use of If and Then Statements in Mathematical Reasoning, Difference Between Correlation And Regression, CBSE Previous Year Question Papers Class 12 Maths, CBSE Previous Year Question Papers Class 10 Maths, ICSE Previous Year Question Papers Class 10, ISC Previous Year Question Papers Class 12 Maths, JEE Main 2023 Question Papers with Answers, JEE Main 2022 Question Papers with Answers, JEE Advanced 2022 Question Paper with Answers. Instead of assuming the hypothesis to be true and the proving that the conclusion is also true, we instead, assumes that the conclusion to be false and prove that the hypothesis is also false. How to Use 'If and Only If' in Mathematics, How to Prove the Complement Rule in Probability, What 'Fail to Reject' Means in a Hypothesis Test, Definitions of Defamation of Character, Libel, and Slander, converse and inverse are not logically equivalent to the original conditional statement, B.A., Mathematics, Physics, and Chemistry, Anderson University, The converse of the conditional statement is If, The contrapositive of the conditional statement is If not, The inverse of the conditional statement is If not, The converse of the conditional statement is If the sidewalk is wet, then it rained last night., The contrapositive of the conditional statement is If the sidewalk is not wet, then it did not rain last night., The inverse of the conditional statement is If it did not rain last night, then the sidewalk is not wet.. Together, we will work through countless examples of proofs by contrapositive and contradiction, including showing that the square root of 2 is irrational! The contrapositive of "If it rains, then they cancel school" is "If they do not cancel school, then it does not rain." If the statement is true, then the contrapositive is also logically true. That's it! 30 seconds -Conditional statement, If it is not a holiday, then I will not wake up late. Assume the hypothesis is true and the conclusion to be false. Hope you enjoyed learning! Not to G then not w So if calculator. 6. The statement The right triangle is equilateral has negation The right triangle is not equilateral. The negation of 10 is an even number is the statement 10 is not an even number. Of course, for this last example, we could use the definition of an odd number and instead say that 10 is an odd number. We note that the truth of a statement is the opposite of that of the negation. Conditional statements make appearances everywhere. Write the contrapositive and converse of the statement. What are the 3 methods for finding the inverse of a function? Converse statement is "If you get a prize then you wonthe race." You may come across different types of statements in mathematical reasoning where some are mathematically acceptable statements and some are not acceptable mathematically. B Elementary Foundations: An Introduction to Topics in Discrete Mathematics (Sylvestre), { "2.01:_Equivalence" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "2.02:_Propositional_Calculus" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "2.03:_Converse_Inverse_and_Contrapositive" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "2.04:_Activities" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "2.05:_Exercises" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()" }, { "00:_Front_Matter" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "01:_Symbolic_language" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "02:_Logical_equivalence" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "03:_Boolean_algebra" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "04:_Predicate_logic" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "05:_Arguments" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "06:_Definitions_and_proof_methods" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "07:_Proof_by_mathematical_induction" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "08:_Axiomatic_systems" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "09:_Sets" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "10:_Functions" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "11:_Recurrence_and_induction" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "12:_Cardinality" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "13:_Countable_and_uncountable_sets" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "14:_Graphs" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "15:_Paths_and_connectedness" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "16:_Trees_and_searches" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "17:_Relations" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "18:_Equivalence_relations" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "19:_Partially_ordered_sets" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "20:_Counting" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "21:_Permutations" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "22:_Combinations" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "23:_Binomial_and_multinomial_coefficients" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()", "zz:_Back_Matter" : "property get [Map MindTouch.Deki.Logic.ExtensionProcessorQueryProvider+<>c__DisplayClass228_0.b__1]()" }, 2.3: Converse, Inverse, and Contrapositive, [ "article:topic", "showtoc:no", "license:gnufdl", "Modus tollens", "authorname:jsylvestre", "licenseversion:13", "source@https://sites.ualberta.ca/~jsylvest/books/EF/book-elementary-foundations.html" ], https://math.libretexts.org/@app/auth/3/login?returnto=https%3A%2F%2Fmath.libretexts.org%2FBookshelves%2FCombinatorics_and_Discrete_Mathematics%2FElementary_Foundations%253A_An_Introduction_to_Topics_in_Discrete_Mathematics_(Sylvestre)%2F02%253A_Logical_equivalence%2F2.03%253A_Converse_Inverse_and_Contrapositive, \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\), source@https://sites.ualberta.ca/~jsylvest/books/EF/book-elementary-foundations.html, status page at https://status.libretexts.org. The addition of the word not is done so that it changes the truth status of the statement. If a number is not a multiple of 4, then the number is not a multiple of 8. (virtual server 85.07, domain fee 28.80), hence the Paypal donation link. In other words, the negation of p leads to a contradiction because if the negation of p is false, then it must true. Improve your math knowledge with free questions in "Converses, inverses, and contrapositives" and thousands of other math skills. When you visit the site, Dotdash Meredith and its partners may store or retrieve information on your browser, mostly in the form of cookies. Jenn, Founder Calcworkshop, 15+ Years Experience (Licensed & Certified Teacher). 1. If \(m\) is an odd number, then it is a prime number. Your Mobile number and Email id will not be published. This is the beauty of the proof of contradiction. That is to say, it is your desired result. A conditional statement takes the form If p, then q where p is the hypothesis while q is the conclusion. - Conditional statement, If Emily's dad does not have time, then he does not watch a movie. window.onload = init; 2023 Calcworkshop LLC / Privacy Policy / Terms of Service. It is also called an implication. https://www.thoughtco.com/converse-contrapositive-and-inverse-3126458 (accessed March 4, 2023). Prove the following statement by proving its contrapositive: "If n 3 + 2 n + 1 is odd then n is even". Figure out mathematic question. You may use all other letters of the English Learn how to find the converse, inverse, contrapositive, and biconditional given a conditional statement in this free math video tutorial by Mario's Math Tutoring. Here are a few activities for you to practice. Sometimes you may encounter (from other textbooks or resources) the words antecedent for the hypothesis and consequent for the conclusion. A statement obtained by reversing the hypothesis and conclusion of a conditional statement is called a converse statement. The converse statement is " If Cliff drinks water then she is thirsty". What Are the Converse, Contrapositive, and Inverse? The contrapositive statement for If a number n is even, then n2 is even is If n2 is not even, then n is not even. To create the inverse of the conditional statement, take the negation of both the hypothesis and the conclusion. If a quadrilateral is a rectangle, then it has two pairs of parallel sides. A statement which is of the form of "if p then q" is a conditional statement, where 'p' is called hypothesis and 'q' is called the conclusion. Write the converse, inverse, and contrapositive statement of the following conditional statement. Rather than prove the truth of a conditional statement directly, we can instead use the indirect proof strategy of proving the truth of that statements contrapositive. It turns out that even though the converse and inverse are not logically equivalent to the original conditional statement, they are logically equivalent to one another. Write the converse, inverse, and contrapositive statements and verify their truthfulness. If \(f\) is continuous, then it is differentiable. Textual expression tree . If \(f\) is not differentiable, then it is not continuous. They are sometimes referred to as De Morgan's Laws. ", "If John has time, then he works out in the gym. Only two of these four statements are true! Applies commutative law, distributive law, dominant (null, annulment) law, identity law, negation law, double negation (involution) law, idempotent law, complement law, absorption law, redundancy law, de Morgan's theorem. Unicode characters "", "", "", "" and "" require JavaScript to be The converse is logically equivalent to the inverse of the original conditional statement. English words "not", "and" and "or" will be accepted, too. The hypothesis 'p' and conclusion 'q' interchange their places in a converse statement. In mathematics, we observe many statements with if-then frequently. -Inverse of conditional statement. truth and falsehood and that the lower-case letter "v" denotes the The sidewalk could be wet for other reasons. Because a biconditional statement p q is equivalent to ( p q) ( q p), we may think of it as a conditional statement combined with its converse: if p, then q and if q, then p. The double-headed arrow shows that the conditional statement goes . five minutes Contradiction? Since a conditional statement and its contrapositive are logically equivalent, we can use this to our advantage when we are proving mathematical theorems. Applies commutative law, distributive law, dominant (null, annulment) law, identity law, negation law, double negation (involution) law, idempotent law, complement law, absorption law, redundancy law, de Morgan's theorem. Negations are commonly denoted with a tilde ~. The most common patterns of reasoning are detachment and syllogism. "They cancel school" Solution. So change org. The contrapositive of an implication is an implication with the antecedent and consequent negated and interchanged. If a number is a multiple of 4, then the number is a multiple of 8. Suppose \(f(x)\) is a fixed but unspecified function. From the given inverse statement, write down its conditional and contrapositive statements. If a quadrilateral is not a rectangle, then it does not have two pairs of parallel sides. FlexBooks 2.0 CK-12 Basic Geometry Concepts Converse, Inverse, and Contrapositive. Write the contrapositive and converse of the statement. and How do we write them? is Do my homework now . To get the converse of a conditional statement, interchange the places of hypothesis and conclusion. But this will not always be the case! As the two output columns are identical, we conclude that the statements are equivalent. Through an interactive and engaging learning-teaching-learning approach, the teachers explore all angles of a topic. An example will help to make sense of this new terminology and notation. A rewording of the contrapositive given states the following: G has matching M' that is not a maximum matching of G iff there exists an M-augmenting path. (Example #1a-e), Determine the logical conclusion to make the argument valid (Example #2a-e), Write the argument form and determine its validity (Example #3a-f), Rules of Inference for Quantified Statement, Determine if the quantified argument is valid (Example #4a-d), Given the predicates and domain, choose all valid arguments (Examples #5-6), Construct a valid argument using the inference rules (Example #7).