We will examine this idea in a more abstract setting. If the statement is true, then the contrapositive is also logically true. PDF Proof by contrapositive, contradiction - University Of Illinois Urbana "If it rains, then they cancel school" "They cancel school" This is the beauty of the proof of contradiction. The steps for proof by contradiction are as follows: Assume the hypothesis is true and the conclusion to be false. Instead, it suffices to show that all the alternatives are false. 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.
Only two of these four statements are true! Example 1.6.2.
Contrapositive definition, of or relating to contraposition. with Examples #1-9. This means our contrapositive is : -q -p = "if n is odd then n is odd" We must prove or show the contraposition, that if n is odd then n is odd, if we can prove this to be true then we have. If a quadrilateral is not a rectangle, then it does not have two pairs of parallel sides. The contrapositive statement is a combination of the previous two. The converse statement is "If Cliff drinks water, then she is thirsty.". 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. 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)$$$. On the other hand, the conclusion of the conditional statement \large{\color{red}p} becomes the hypothesis of the converse. What is contrapositive in mathematical reasoning? In a conditional statement "if p then q,"'p' is called the hypothesis and 'q' is called the conclusion. 2023 Calcworkshop LLC / Privacy Policy / Terms of Service, What is a proposition? There can be three related logical statements for a conditional statement. (Example #18), Construct a truth table for each statement (Examples #19-20), Create a truth table for each proposition (Examples #21-24), Form a truth table for the following statement (Example #25), What are conditional statements? window.onload = init; 2023 Calcworkshop LLC / Privacy Policy / Terms of Service. But this will not always be the case! 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. Help
If two angles are not congruent, then they do not have the same measure. Contrapositive and converse are specific separate statements composed from a given statement with if-then. Converse, Inverse, and Contrapositive Examples (Video) - Mometrix A statement that conveys the opposite meaning of a statement is called its negation. Truth Table Calculator. We say that these two statements are logically equivalent. The inverse and converse of a conditional are equivalent.
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). Contrapositive of implication - Math Help The converse statement is " If Cliff drinks water then she is thirsty". 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? Canonical DNF (CDNF)
Contrapositive proofs work because if the contrapositive is true, due to logical equivalence, the original conditional statement is also true. not B \rightarrow not A. 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. The converse of the above statement is: If a number is a multiple of 4, then the number is a multiple of 8. What is a Tautology? A statement that is of the form "If p then q" is a conditional statement. A statement obtained by exchangingthe hypothesis and conclusion of an inverse statement. If a number is not a multiple of 8, then the number is not a multiple of 4. Example represents the negation or inverse 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. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. (if not q then not p). Graphical alpha tree (Peirce)
Before we define the converse, contrapositive, and inverse of a conditional statement, we need to examine the topic of negation. 50 seconds
", The inverse statement is "If John does not have time, then he does not work out in the gym.". 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. I'm not sure what the question is, but I'll try to answer it. Sometimes you may encounter (from other textbooks or resources) the words antecedent for the hypothesis and consequent for the conclusion. What is Contrapositive? - Statements in Geometry Explained by Example Proof By Contraposition. Discrete Math: A Proof By | by - Medium The contrapositive of an implication is an implication with the antecedent and consequent negated and interchanged.
There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. It is also called an implication. If two angles are congruent, then they have the same measure. Mathwords: Contrapositive Boolean Algebra Calculator - eMathHelp It will help to look at an example. The converse statement for If a number n is even, then n2 is even is If a number n2 is even, then n is even. 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. Contrapositive Definition & Meaning | Dictionary.com (If not p, then not q), Contrapositive statement is "If you did not get a prize then you did not win the race." What are the properties of biconditional statements and the six propositional logic sentences? E
If you eat a lot of vegetables, then you will be healthy. For instance, If it rains, then they cancel school. An indirect proof doesnt require us to prove the conclusion to be true. The converse If the sidewalk is wet, then it rained last night is not necessarily true. If a number is a multiple of 4, then the number is a multiple of 8. A statement formed by interchanging the hypothesis and conclusion of a statement is its converse. The Contrapositive of a Conditional Statement Suppose you have the conditional statement {\color {blue}p} \to {\color {red}q} p q, we compose the contrapositive statement by interchanging the hypothesis and conclusion of the inverse of the same conditional statement. Operating the Logic server currently costs about 113.88 per year Contrapositive. If n > 2, then n 2 > 4.
The calculator will try to simplify/minify the given boolean expression, with steps when possible. How to write converse inverse and contrapositive of a statement Every statement in logic is either true or false. Then show that this assumption is a contradiction, thus proving the original statement to be true. They are related sentences because they are all based on the original conditional statement. Assuming that a conditional and its converse are equivalent. (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). There . Contradiction? Because trying to prove an or statement is extremely tricky, therefore, when we use contraposition, we negate the or statement and apply De Morgans law, which turns the or into an and which made our proof-job easier! (Examples #1-2), 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). If a quadrilateral has two pairs of parallel sides, then it is a rectangle. var vidDefer = document.getElementsByTagName('iframe'); What we see from this example (and what can be proved mathematically) is that a conditional statement has the same truth value as its contrapositive. Proofs by Contrapositive - California State University, Fresno What is the inverse of a function? ", "If John has time, then he works out in the gym. 2) Assume that the opposite or negation of the original statement is true. Here 'p' refers to 'hypotheses' and 'q' refers to 'conclusion'. Proof Corollary 2.3. In mathematics, we observe many statements with if-then frequently. four minutes
"If it rains, then they cancel school" Optimize expression (symbolically)
If-then statement (Geometry, Proof) - Mathplanet