Taylor, Courtney. 1: Modus Tollens A conditional and its contrapositive are equivalent. Therefore, the converse is the implication {\color{red}q} \to {\color{blue}p}. A conditional statement takes the form If p, then q where p is the hypothesis while q is the conclusion. The most common patterns of reasoning are detachment and syllogism. Simplify the boolean expression $$$\overline{\left(\overline{A} + B\right) \cdot \left(\overline{B} + C\right)}$$$. H, Task to be performed Tautology check (Problem #1), Determine the truth value of the given statements (Problem #2), Convert each statement into symbols (Problem #3), Express the following in words (Problem #4), Write the converse and contrapositive of each of the following (Problem #5), Decide whether each of following arguments are valid (Problem #6, Negate the following statements (Problem #7), Create a truth table for each (Problem #8), Use a truth table to show equivalence (Problem #9). "If Cliff is thirsty, then she drinks water"is a condition. But first, we need to review what a conditional statement is because it is the foundation or precursor of the three related sentences that we are going to discuss in this lesson. Assuming that a conditional and its converse are equivalent. Legal. E Polish notation Let us understand the terms "hypothesis" and "conclusion.". The converse and inverse may or may not be true. It is easy to understand how to form a contrapositive statement when one knows about the inverse statement. Only two of these four statements are true! Suppose that the original statement If it rained last night, then the sidewalk is wet is true. Operating the Logic server currently costs about 113.88 per year Here are some of the important findings regarding the table above: Introduction to Truth Tables, Statements, and Logical Connectives, Truth Tables of Five (5) Common Logical Connectives or Operators. Write the converse, inverse, and contrapositive statement of the following conditional statement. 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. Determine if inclusive or or exclusive or is intended (Example #14), Translate the symbolic logic into English (Example #15), Convert the English sentence into symbolic logic (Example #16), Determine the truth value of each proposition (Example #17), How do we create a truth table? Q Let x be a real number. Taylor, Courtney. This is the beauty of the proof of contradiction. Contingency? Contrapositive and converse are specific separate statements composed from a given statement with if-then. S Graphical alpha tree (Peirce) Here 'p' refers to 'hypotheses' and 'q' refers to 'conclusion'. A proof by contrapositive would look like: Proof: We'll prove the contrapositive of this statement . Then show that this assumption is a contradiction, thus proving the original statement to be true. Learning objective: prove an implication by showing the contrapositive is true. If a quadrilateral is a rectangle, then it has two pairs of parallel sides. Notice, the hypothesis \large{\color{blue}p} of the conditional statement becomes the conclusion of the converse. Example #1 It may sound confusing, but it's quite straightforward. Converse, Inverse, and Contrapositive of Conditional Statement Suppose you have the conditional statement p q {\color{blue}p} \to {\color{red}q} pq, we compose the contrapositive statement by interchanging the. The inverse of a function f is a function f^(-1) such that, for all x in the domain of f, f^(-1)(f(x)) = x. If it does not rain, then they do not cancel school., To form the contrapositive of the conditional statement, interchange the hypothesis and the conclusion of the inverse statement. Suppose if p, then q is the given conditional statement if q, then p is its converse statement. To get the contrapositive of a conditional statement, we negate the hypothesis and conclusion andexchange their position. R Apply de Morgan's theorem $$$\overline{X \cdot Y} = \overline{X} + \overline{Y}$$$ with $$$X = \overline{A} + B$$$ and $$$Y = \overline{B} + C$$$: Apply de Morgan's theorem $$$\overline{X + Y} = \overline{X} \cdot \overline{Y}$$$ with $$$X = \overline{A}$$$ and $$$Y = B$$$: Apply the double negation (involution) law $$$\overline{\overline{X}} = X$$$ with $$$X = A$$$: Apply de Morgan's theorem $$$\overline{X + Y} = \overline{X} \cdot \overline{Y}$$$ with $$$X = \overline{B}$$$ and $$$Y = C$$$: Apply the double negation (involution) law $$$\overline{\overline{X}} = X$$$ with $$$X = B$$$: $$$\overline{\left(\overline{A} + B\right) \cdot \left(\overline{B} + C\right)} = \left(A \cdot \overline{B}\right) + \left(B \cdot \overline{C}\right)$$$. Click here to know how to write the negation of a statement. The converse statement is "You will pass the exam if you study well" (if q then p), The inverse statement is "If you do not study well then you will not pass the exam" (if not p then not q), The contrapositive statement is "If you didnot pass the exam then you did notstudy well" (if not q then not p). Cookies collect information about your preferences and your devices and are used to make the site work as you expect it to, to understand how you interact with the site, and to show advertisements that are targeted to your interests. Converse, Inverse, and Contrapositive: Lesson (Basic Geometry Concepts) Example 2.12. Figure out mathematic question. A statement obtained by exchangingthe hypothesis and conclusion of an inverse statement. The following theorem gives two important logical equivalencies. Truth table (final results only) "It rains" Graphical Begriffsschrift notation (Frege) If it is false, find a counterexample. Write the contrapositive and converse of the statement. and How do we write them? The inverse statement given is "If there is no accomodation in the hotel, then we are not going on a vacation. Therefore. Not to G then not w So if calculator. An inversestatement changes the "if p then q" statement to the form of "if not p then not q. When you visit the site, Dotdash Meredith and its partners may store or retrieve information on your browser, mostly in the form of cookies. Lets look at some examples. A conditional statement defines that if the hypothesis is true then the conclusion is true. Given statement is -If you study well then you will pass the exam. Prove the following statement by proving its contrapositive: "If n 3 + 2 n + 1 is odd then n is even". 2) Assume that the opposite or negation of the original statement is true. For example, in geometry, "If a closed shape has four sides then it is a square" is a conditional statement, The truthfulness of a converse statement depends on the truth ofhypotheses of the conditional statement. What we want to achieve in this lesson is to be familiar with the fundamental rules on how to convert or rewrite a conditional statement into its converse, inverse, and contrapositive. For a given conditional statement {\color{blue}p} \to {\color{red}q}, we can write the converse statement by interchanging or swapping the roles of the hypothesis and conclusion of the original conditional statement. Contrapositive proofs work because if the contrapositive is true, due to logical equivalence, the original conditional statement is also true. ThoughtCo, Aug. 27, 2020, thoughtco.com/converse-contrapositive-and-inverse-3126458. There are two forms of an indirect proof. If \(f\) is continuous, then it is differentiable. U (Examples #1-2), Understanding Universal and Existential Quantifiers, Transform each sentence using predicates, quantifiers and symbolic logic (Example #3), Determine the truth value for each quantified statement (Examples #4-12), How to Negate Quantified Statements? The contrapositive of this statement is If not P then not Q. Since the inverse is the contrapositive of the converse, the converse and inverse are logically equivalent. Write the contrapositive and converse of the statement. Thus. A conditional statement is a statement in the form of "if p then q,"where 'p' and 'q' are called a hypothesis and conclusion. This video is part of a Discrete Math course taught at the University of Cinc. Which of the other statements have to be true as well? 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. Logic calculator: Server-side Processing Help on syntax - Help on tasks - Other programs - Feedback - Deutsche Fassung Examples and information on the input syntax Task to be performed Wait at most Operating the Logic server currently costs about 113.88 per year (virtual server 85.07, domain fee 28.80), hence the Paypal donation link. Free Pre-Algebra, Algebra, Trigonometry, Calculus, Geometry, Statistics and Chemistry calculators step-by-step A statement formed by interchanging the hypothesis and conclusion of a statement is its converse. In the above example, since the hypothesis and conclusion are equivalent, all four statements are true. An example will help to make sense of this new terminology and notation. Accessibility StatementFor more information contact us atinfo@libretexts.orgor check out our status page at https://status.libretexts.org. The contrapositive of the conditional statement is "If not Q then not P." The inverse of the conditional statement is "If not P then not Q." if p q, p q, then, q p q p For example, If it is a holiday, then I will wake up late. Canonical CNF (CCNF) Quine-McCluskey optimization If a number is not a multiple of 8, then the number is not a multiple of 4. (If not q then not p). In a conditional statement "if p then q,"'p' is called the hypothesis and 'q' is called the conclusion. Mathwords: Contrapositive Contrapositive Switching the hypothesis and conclusion of a conditional statement and negating both. This can be better understood with the help of an example. four minutes vidDefer[i].setAttribute('src',vidDefer[i].getAttribute('data-src')); 10 seconds (If not p, then not q), Contrapositive statement is "If you did not get a prize then you did not win the race." Then w change the sign. Find the converse, inverse, and contrapositive of conditional statements. So instead of writing not P we can write ~P. If you study well then you will pass the exam. The contrapositive If the sidewalk is not wet, then it did not rain last night is a true statement. P What is contrapositive in mathematical reasoning? The converse statement is " If Cliff drinks water then she is thirsty". For instance, If it rains, then they cancel school. - Conditional statement, If you are healthy, then you eat a lot of vegetables. The original statement is the one you want to prove. (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). Your Mobile number and Email id will not be published. The inverse and converse of a conditional are equivalent. (if not q then not p). Okay. Warning \(\PageIndex{1}\): Common Mistakes, Example \(\PageIndex{1}\): Related Conditionals are not All Equivalent, Suppose \(m\) is a fixed but unspecified whole number that is greater than \(2\text{.}\). https://www.thoughtco.com/converse-contrapositive-and-inverse-3126458 (accessed March 4, 2023). If two angles do not have the same measure, then they are not congruent. Contrapositive. The conditional statement is logically equivalent to its contrapositive. There . Now you can easily find the converse, inverse, and contrapositive of any conditional statement you are given! You may come across different types of statements in mathematical reasoning where some are mathematically acceptable statements and some are not acceptable mathematically. -Inverse of conditional statement. First, form the inverse statement, then interchange the hypothesis and the conclusion to write the conditional statements contrapositive. What are the properties of biconditional statements and the six propositional logic sentences? The contrapositive of a statement negates the hypothesis and the conclusion, while swaping the order of the hypothesis and the conclusion. The converse of the above statement is: If a number is a multiple of 4, then the number is a multiple of 8. (If q then p), Inverse statement is "If you do not win the race then you will not get a prize." one and a half minute That is to say, it is your desired result. Improve your math knowledge with free questions in "Converses, inverses, and contrapositives" and thousands of other math skills. The converse is logically equivalent to the inverse of the original conditional statement. Mixing up a conditional and its converse. Prove that if x is rational, and y is irrational, then xy is irrational. Proof Warning 2.3. Use Venn diagrams to determine if the categorical syllogism is valid or invalid (Examples #1-4), Determine if the categorical syllogism is valid or invalid and diagram the argument (Examples #5-8), Identify if the proposition is valid (Examples #9-12), Which of the following is a proposition? Write the converse, inverse, and contrapositive statement for the following conditional statement. paradox? Express each statement using logical connectives and determine the truth of each implication (Examples #3-4) Finding the converse, inverse, and contrapositive (Example #5) Write the implication, converse, inverse and contrapositive (Example #6) What are the properties of biconditional statements and the six propositional logic sentences? A statement that conveys the opposite meaning of a statement is called its negation. Okay, so a proof by contraposition, which is sometimes called a proof by contrapositive, flips the script. A \rightarrow B. is logically equivalent to. ( 2 k + 1) 3 + 2 ( 2 k + 1) + 1 = 8 k 3 + 12 k 2 + 10 k + 4 = 2 k ( 4 k 2 + 6 k + 5) + 4. ", To form the inverse of the conditional statement, take the negation of both the hypothesis and the conclusion. ", The inverse statement is "If John does not have time, then he does not work out in the gym.". If a number is a multiple of 4, then the number is a multiple of 8. 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. How do we show propositional Equivalence? If the conditional is true then the contrapositive is true. T Textual alpha tree (Peirce) Courtney K. Taylor, Ph.D., is a professor of mathematics at Anderson University and the author of "An Introduction to Abstract Algebra.". Emily's dad watches a movie if he has time. Supports all basic logic operators: negation (complement), and (conjunction), or (disjunction), nand (Sheffer stroke), nor (Peirce's arrow), xor (exclusive disjunction), implication, converse of implication, nonimplication (abjunction), converse nonimplication, xnor (exclusive nor, equivalence, biconditional), tautology (T), and contradiction (F). Do It Faster, Learn It Better. Maggie, this is a contra positive. "What Are the Converse, Contrapositive, and Inverse?" Like contraposition, we will assume the statement, if p then q to be false. To form the converse of the conditional statement, interchange the hypothesis and the conclusion. Solution. A conditional statement is also known as an implication. A conditional and its contrapositive are equivalent. To calculate the inverse of a function, swap the x and y variables then solve for y in terms of x. 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." Logical Equivalence We may wonder why it is important to form these other conditional statements from our initial one. As you can see, its much easier to assume that something does equal a specific value than trying to show that it doesnt. D The contrapositive of a conditional statement is a combination of the converse and the inverse. Let's look at some examples. A converse statement is gotten by exchanging the positions of 'p' and 'q' in the given condition. For Berge's Theorem, the contrapositive is quite simple.