Learning objective: prove an implication by showing the contrapositive is true. What are the types of propositions, mood, and steps for diagraming categorical syllogism? This version is sometimes called the contrapositive of the original conditional statement. 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. Taylor, Courtney. "If it rains, then they cancel school" Thats exactly what youre going to learn in todays discrete lecture. 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. for (var i=0; ic__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. But this will not always be the case! In Preview Activity 2.2.1, we introduced the concept of logically equivalent expressions and the notation X Y to indicate that statements X and Y are logically equivalent. From the given inverse statement, write down its conditional and contrapositive statements. 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. Not to G then not w So if calculator. There are two forms of an indirect proof. - Conditional statement, If you do not read books, then you will not gain knowledge. If \(f\) is not differentiable, then it is not continuous. Contrapositive proofs work because if the contrapositive is true, due to logical equivalence, the original conditional statement is also true. Well, as we learned in our previous lesson, a direct proof always assumes the hypothesis is true and then logically deduces the conclusion (i.e., if p is true, then q is true). Converse, Inverse, and Contrapositive Examples (Video) The contrapositive is logically equivalent to the original statement. 5.9 cummins head gasket replacement cost A plus math coach answers Aleks math placement exam practice Apgfcu auto loan calculator Apr calculator for factor receivables Easy online calculus course . In mathematics, we observe many statements with if-then frequently. Write the converse, inverse, and contrapositive statement for the following conditional statement. It will also find the disjunctive normal form (DNF), conjunctive normal form (CNF), and negation normal form (NNF). For instance, If it rains, then they cancel school. T The contrapositive statement is a combination of the previous two. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. A \rightarrow B. is logically equivalent to. A converse statement is the opposite of a conditional statement. As you can see, its much easier to assume that something does equal a specific value than trying to show that it doesnt. (2020, August 27). . If two angles have the same measure, then they are congruent. 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}\). Prove the proposition, Wait at most "->" (conditional), and "" or "<->" (biconditional). \(\displaystyle \neg p \rightarrow \neg q\), \(\displaystyle \neg q \rightarrow \neg p\). Negations are commonly denoted with a tilde ~. If you eat a lot of vegetables, then you will be healthy. The steps for proof by contradiction are as follows: It may sound confusing, but its quite straightforward. The most common patterns of reasoning are detachment and syllogism. When you visit the site, Dotdash Meredith and its partners may store or retrieve information on your browser, mostly in the form of cookies. -Inverse statement, If I am not waking up late, then it is not a holiday. It is easy to understand how to form a contrapositive statement when one knows about the inverse statement. Converse statement is "If you get a prize then you wonthe race." Prove by contrapositive: if x is irrational, then x is irrational. Solution. A conditional statement is also known as an implication. Now it is time to look at the other indirect proof proof by contradiction. Write the converse, inverse, and contrapositive statement of the following conditional 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). alphabet as propositional variables with upper-case letters being Remember, we know from our study of equivalence that the conditional statement of if p then q has the same truth value of if not q then not p. Therefore, a proof by contraposition says, lets assume not q is true and lets prove not p. And consequently, if we can show not q then not p to be true, then the statement if p then q must be true also as noted by the State University of New York. In a conditional statement "if p then q,"'p' is called the hypothesis and 'q' is called the conclusion. So change org. E C A pattern of reaoning is a true assumption if it always lead to a true conclusion. ( The sidewalk could be wet for other reasons. 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. Contradiction Proof N and N^2 Are Even Optimize expression (symbolically and semantically - slow) Prove the following statement by proving its contrapositive: "If n 3 + 2 n + 1 is odd then n is even". Thus. Like contraposition, we will assume the statement, if p then q to be false. Taylor, Courtney. A contrapositive statement changes "if not p then not q" to "if not q to then, notp.", If it is a holiday, then I will wake up late. Therefore, the contrapositive of the conditional statement {\color{blue}p} \to {\color{red}q} is the implication ~\color{red}q \to ~\color{blue}p. Now that we know how to symbolically write the converse, inverse, and contrapositive of a given conditional statement, it is time to state some interesting facts about these logical statements. If you read books, then you will gain knowledge. -Inverse of conditional statement. The converse of See more. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. Write the converse, inverse, and contrapositive statements and verify their truthfulness. 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. If a number is not a multiple of 8, then the number is not a multiple of 4. Instead, it suffices to show that all the alternatives are false. The converse statement is "If Cliff drinks water, then she is thirsty.". If a quadrilateral is not a rectangle, then it does not have two pairs of parallel sides. We also see that a conditional statement is not logically equivalent to its converse and inverse. If the conditional is true then the contrapositive is true. When youre given a conditional statement {\color{blue}p} \to {\color{red}q}, the inverse statement is created by negating both the hypothesis and conclusion of the original conditional statement. and How do we write them? The The inverse of the given statement is obtained by taking the negation of components of the statement. Lets look at some examples. A Given statement is -If you study well then you will pass the exam. Contrapositive Proof Even and Odd Integers. Do my homework now . What are the properties of biconditional statements and the six propositional logic sentences? As the two output columns are identical, we conclude that the statements are equivalent. 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. Hope you enjoyed learning! 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. This follows from the original statement! An inversestatement changes the "if p then q" statement to the form of "if not p then not q. truth and falsehood and that the lower-case letter "v" denotes the The contrapositive of a conditional statement is a combination of the converse and the inverse. There is an easy explanation for this. A converse statement is gotten by exchanging the positions of 'p' and 'q' in the given condition. Still wondering if CalcWorkshop is right for you? G We go through some examples.. How do we show propositional Equivalence? (virtual server 85.07, domain fee 28.80), hence the Paypal donation link. ten minutes If you win the race then you will get a prize. What Are the Converse, Contrapositive, and Inverse? https://www.thoughtco.com/converse-contrapositive-and-inverse-3126458 (accessed March 4, 2023). The contrapositive of an implication is an implication with the antecedent and consequent negated and interchanged. open sentence? They are sometimes referred to as De Morgan's Laws.