For example, the contrapositive of "If it is raining then the grass is wet" is "If the grass is not wet then it is not raining." Note: As in the example, the contrapositive of any true proposition is also true. (Examples #1-3), Equivalence Laws for Conditional and Biconditional Statements, Use De Morgans Laws to find the negation (Example #4), Provide the logical equivalence for the statement (Examples #5-8), Show that each conditional statement is a tautology (Examples #9-11), Use a truth table to show logical equivalence (Examples #12-14), What is predicate logic? Contrapositive Proof Even and Odd Integers. Contradiction Proof N and N^2 Are Even If it is false, find a counterexample. Emily's dad watches a movie if he has time. "If it rains, then they cancel school" The contrapositive of The original statement is the one you want to prove. R 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. Graphical expression tree 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? Contrapositive definition, of or relating to contraposition. The If part or p is replaced with the then part or q and the 50 seconds Let x and y be real numbers such that x 0. Lets look at some examples. 20 seconds The converse If the sidewalk is wet, then it rained last night is not necessarily true. The mini-lesson targetedthe fascinating concept of converse statement. Atomic negations Now you can easily find the converse, inverse, and contrapositive of any conditional statement you are given! Suppose you have the conditional statement {\color{blue}p} \to {\color{red}q}, we compose the contrapositive statement by interchanging the hypothesis and conclusion of the inverse of the same conditional statement. Not every function has an inverse. Therefore, the converse is the implication {\color{red}q} \to {\color{blue}p}. is the hypothesis. Learn from the best math teachers and top your exams, Live one on one classroom and doubt clearing, Practice worksheets in and after class for conceptual clarity, Personalized curriculum to keep up with school, 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, Interactive Questions on Converse Statement, if \(\begin{align} p \rightarrow q,\end{align}\) then, \(\begin{align} q \rightarrow p\end{align}\), if \(\begin{align} p \rightarrow q,\end{align}\) then, \(\begin{align} \sim{p} \rightarrow \sim{q}\end{align}\), if \(\begin{align} p \rightarrow q,\end{align}\) then, \(\begin{align} \sim{q} \rightarrow \sim{p}\end{align}\), if \(\begin{align} p \rightarrow q,\end{align}\) then, \(\begin{align} q \rightarrow p\end{align}\). Polish notation Related calculator: Properties? ," we can create three related statements: A conditional statement consists of two parts, a hypothesis in the if clause and a conclusion in the then clause. If a quadrilateral does not have two pairs of parallel sides, then it is not a rectangle. Assuming that a conditional and its converse are equivalent. Graphical alpha tree (Peirce) not B \rightarrow not A. (If not q then not p). half an hour. Before getting into the contrapositive and converse statements, let us recall what are conditional statements. 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. The inverse and converse of a conditional are equivalent. A converse statement is the opposite of a conditional statement. What is contrapositive in mathematical reasoning? To calculate the inverse of a function, swap the x and y variables then solve for y in terms of x. P 6. Converse, Inverse, and Contrapositive. What is Symbolic Logic? We can also construct a truth table for contrapositive and converse 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. Jenn, Founder Calcworkshop, 15+ Years Experience (Licensed & Certified Teacher). Unicode characters "", "", "", "" and "" require JavaScript to be A statement that is of the form "If p then q" is a conditional statement. Contrapositive. 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. 2023 Calcworkshop LLC / Privacy Policy / Terms of Service, What is a proposition? So instead of writing not P we can write ~P. The The inverse of In mathematics or elsewhere, it doesnt take long to run into something of the form If P then Q. Conditional statements are indeed important. truth and falsehood and that the lower-case letter "v" denotes the Taylor, Courtney. Simplify the boolean expression $$$\overline{\left(\overline{A} + B\right) \cdot \left(\overline{B} + C\right)}$$$. Since a conditional statement and its contrapositive are logically equivalent, we can use this to our advantage when we are proving mathematical theorems. "What Are the Converse, Contrapositive, and Inverse?" (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). An example will help to make sense of this new terminology and notation. What Are the Converse, Contrapositive, and Inverse? 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. Suppose that the original statement If it rained last night, then the sidewalk is wet is true. We say that these two statements are logically equivalent. That's it! , then The inverse of the given statement is obtained by taking the negation of components of the statement. This can be better understood with the help of an example. Solution We use the contrapositive that states that function f is a one to one function if the following is true: if f(x 1) = f(x 2) then x 1 = x 2 We start with f(x 1) = f(x 2) which gives a x 1 + b = a x 2 + b Simplify to obtain a ( x 1 - x 2) = 0 Since a 0 the only condition for the above to be satisfied is to have x 1 - x 2 = 0 which . (P1 and not P2) or (not P3 and not P4) or (P5 and P6). Converse, Inverse, and Contrapositive Examples (Video) The contrapositive is logically equivalent to the original statement. The steps for proof by contradiction are as follows: It may sound confusing, but its quite straightforward. If a number is a multiple of 4, then the number is a multiple of 8. on syntax. A statement obtained by exchangingthe hypothesis and conclusion of an inverse statement. 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)$$$. - Contrapositive of a conditional statement. If the conditional is true then the contrapositive is true. In this mini-lesson, we will learn about the converse statement, how inverse and contrapositive are obtained from a conditional statement, converse statement definition, converse statement geometry, and converse statement symbol. enabled in your browser. Let x be a real number. Before we define the converse, contrapositive, and inverse of a conditional statement, we need to examine the topic of negation. Here are a few activities for you to practice. For example, the contrapositive of (p q) is (q p). 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. A conditional statement takes the form If p, then q where p is the hypothesis while q is the conclusion. In mathematics, we observe many statements with if-then frequently. The converse statement is "If Cliff drinks water, then she is thirsty.". If the calculator did not compute something or you have identified an error, or you have a suggestion/feedback, please write it in the comments below. For example,"If Cliff is thirsty, then she drinks water." 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 . Converse statement is "If you get a prize then you wonthe race." As the two output columns are identical, we conclude that the statements are equivalent. exercise 3.4.6. }\) The contrapositive of this new conditional is \(\neg \neg q \rightarrow \neg \neg p\text{,}\) which is equivalent to \(q \rightarrow p\) by double negation. If \(m\) is not an odd number, then it is not a prime number. The inverse of the conditional \(p \rightarrow q\) is \(\neg p \rightarrow \neg q\text{. three minutes The converse is logically equivalent to the inverse of the original conditional statement. In the above example, since the hypothesis and conclusion are equivalent, all four statements are true. Contrapositive can be used as a strong tool for proving mathematical theorems because contrapositive of a statement always has the same truth table. Canonical DNF (CDNF) Free Pre-Algebra, Algebra, Trigonometry, Calculus, Geometry, Statistics and Chemistry calculators step-by-step What are the types of propositions, mood, and steps for diagraming categorical syllogism? Math Homework. "If they cancel school, then it rains. This video is part of a Discrete Math course taught at the University of Cinc. If the statement is true, then the contrapositive is also logically true. Heres a BIG hint. 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). This is the beauty of the proof of contradiction. We will examine this idea in a more abstract setting. If \(m\) is not a prime number, then it is not an odd number. To form the converse of the conditional statement, interchange the hypothesis and the conclusion. Thus. 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.