contrapositive calculator

. 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. Contradiction? is the hypothesis. Contrapositive definition, of or relating to contraposition. -Conditional statement, If it is not a holiday, then I will not wake up late. If a number is not a multiple of 8, then the number is not a multiple of 4. If the statement is true, then the contrapositive is also logically true. For Berge's Theorem, the contrapositive is quite simple. 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. Be it worksheets, online classes, doubt sessions, or any other form of relation, its the logical thinking and smart learning approach that we, at Cuemath, believe in. Q disjunction. Your Mobile number and Email id will not be published. Help 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. Yes! If it is false, find a counterexample. What is Quantification? Contrapositive proofs work because if the contrapositive is true, due to logical equivalence, the original conditional statement is also true. https://www.thoughtco.com/converse-contrapositive-and-inverse-3126458 (accessed March 4, 2023). The inverse of 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. The converse statement is " If Cliff drinks water then she is thirsty". 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. (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? 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{.}$. - Converse of Conditional statement. The converse If the sidewalk is wet, then it rained last night is not necessarily true. (P1 and not P2) or (not P3 and not P4) or (P5 and P6). Jenn, Founder Calcworkshop, 15+ Years Experience (Licensed & Certified Teacher). Truth Table Calculator. The assertion A B is true when A is true (or B is true), but it is false when A and B are both false. The contrapositive If the sidewalk is not wet, then it did not rain last night is a true statement. The addition of the word not is done so that it changes the truth status of the statement. If a number is a multiple of 4, then the number is a multiple of 8. So instead of writing not P we can write ~P. Polish notation 1: Modus Tollens A conditional and its contrapositive are equivalent. Required fields are marked *. 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. Free Pre-Algebra, Algebra, Trigonometry, Calculus, Geometry, Statistics and Chemistry calculators step-by-step ten minutes The original statement is true. 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? When the statement P is true, the statement not P is false. A non-one-to-one function is not invertible. The most common patterns of reasoning are detachment and syllogism. If $m$ is not an odd number, then it is not a prime number. An inversestatement changes the "if p then q" statement to the form of "if not p then not q. If a quadrilateral does not have two pairs of parallel sides, then it is not a rectangle. Then show that this assumption is a contradiction, thus proving the original statement to be true. We start with the conditional statement If Q then P. A statement that is of the form "If p then q" is a conditional statement. To create the inverse of the conditional statement, take the negation of both the hypothesis and the conclusion. The inverse statement given is "If there is no accomodation in the hotel, then we are not going on a vacation. , then D Taylor, Courtney. 2) Assume that the opposite or negation of the original statement is true. Lets look at some examples. The converse statements are formed by interchanging the hypothesis and conclusion of given conditional statements. If $f$ is continuous, then it is differentiable. This page titled 2.3: Converse, Inverse, and Contrapositive is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jeremy Sylvestre via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request. We go through some examples.. open sentence? That is to say, it is your desired result. Now you can easily find the converse, inverse, and contrapositive of any conditional statement you are given! A conditional statement is a statement in the form of "if p then q,"where 'p' and 'q' are called a hypothesis and conclusion. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. 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. whenever you are given an or statement, you will always use proof by contraposition. A conditional and its contrapositive are equivalent. The 10 seconds - Inverse statement Hypothesis exists in theif clause, whereas the conclusion exists in the then clause. The positions of p and q of the original statement are switched, and then the opposite of each is considered: q p (if not q, then not p ). (virtual server 85.07, domain fee 28.80), hence the Paypal donation link. Click here to know how to write the negation of a statement. Example #1 It may sound confusing, but it's quite straightforward. Assume the hypothesis is true and the conclusion to be false. There . Step 2: Identify whether the question is asking for the converse ("if q, then p"), inverse ("if not p, then not q"), or contrapositive ("if not q, then not p"), and create this statement. Negations are commonly denoted with a tilde ~. The calculator will try to simplify/minify the given boolean expression, with steps when possible. For more details on syntax, refer to Suppose $f(x)$ is a fixed but unspecified function. This is the beauty of the proof of contradiction. Again, just because it did not rain does not mean that the sidewalk is not wet. Then show that this assumption is a contradiction, thus proving the original statement to be true. 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)$$$. Still wondering if CalcWorkshop is right for you? So for this I began assuming that: n = 2 k + 1. The If part or p is replaced with the then part or q and the An indirect proof doesnt require us to prove the conclusion to be true. Given a conditional statement, we can create related sentences namely: converse, inverse, and contrapositive. (Examples #13-14), Find the negation of each quantified statement (Examples #15-18), Translate from predicates and quantifiers into English (#19-20), Convert predicates, quantifiers and negations into symbols (Example #21), Determine the truth value for the quantified statement (Example #22), Express into words and determine the truth value (Example #23), Inference Rules with tautologies and examples, What rule of inference is used in each argument? And then the country positive would be to the universe and the convert the same time. 30 seconds Canonical DNF (CDNF) The mini-lesson targetedthe fascinating concept of converse statement. 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. For instance, If it rains, then they cancel school. Proof Warning 2.3. The original statement is the one you want to prove. Starting with an original statement, we end up with three new conditional statements that are named the converse, the contrapositive, and the inverse. 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. In addition, the statement If p, then q is commonly written as the statement p implies q which is expressed symbolically as {\color{blue}p} \to {\color{red}q}. ThoughtCo. There can be three related logical statements for a conditional statement. The contrapositive statement is a combination of the previous two. Select/Type your answer and click the "Check Answer" button to see the result. Disjunctive normal form (DNF) 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. Quine-McCluskey optimization "What Are the Converse, Contrapositive, and Inverse?" Here are a few activities for you to practice. ", "If John has time, then he works out in the gym. The inverse If it did not rain last night, then the sidewalk is not wet is not necessarily true. P Atomic negations 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}$. Before we define the converse, contrapositive, and inverse of a conditional statement, we need to examine the topic of negation. Mathwords: Contrapositive Contrapositive Switching the hypothesis and conclusion of a conditional statement and negating both. That means, any of these statements could be mathematically incorrect. Graphical alpha tree (Peirce) We can also construct a truth table for contrapositive and converse statement. Apply this result to show that 42 is irrational, using the assumption that 2 is irrational. 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. Truth table (final results only) If two angles are not congruent, then they do not have the same measure. "If it rains, then they cancel school" "&" (conjunction), "" or the lower-case letter "v" (disjunction), "" or Dont worry, they mean the same thing. What is a Tautology? 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? Taylor, Courtney. E one and a half minute Contrapositive can be used as a strong tool for proving mathematical theorems because contrapositive of a statement always has the same truth table. Operating the Logic server currently costs about 113.88 per year - Contrapositive statement. ( 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. Note that an implication and it contrapositive are logically equivalent. Do It Faster, Learn It Better. -Inverse of conditional statement. 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. truth and falsehood and that the lower-case letter "v" denotes the Related to the conditional $p \rightarrow q$ are three important variations. B The hypothesis 'p' and conclusion 'q' interchange their places in a converse statement. 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 . On the other hand, the conclusion of the conditional statement \large{\color{red}p} becomes the hypothesis of the converse. (2020, August 27). with Examples #1-9. If $f$ is not continuous, then it is not differentiable. If two angles do not have the same measure, then they are not congruent. Suppose if p, then q is the given conditional statement if q, then p is its converse statement. A converse statement is gotten by exchanging the positions of 'p' and 'q' in the given condition. Contrapositive is used when an implication has many hypotheses or when the hypothesis specifies infinitely many objects. Now I want to draw your attention to the critical word or in the claim above. 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 . "If it rains, then they cancel school" Prove the proposition, Wait at most 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. Let x be a real number. We will examine this idea in a more abstract setting. So change org. It will also find the disjunctive normal form (DNF), conjunctive normal form (CNF), and negation normal form (NNF). Mixing up a conditional and its converse. represents the negation or inverse statement. Like contraposition, we will assume the statement, if p then q to be false. A conditional statement is also known as an implication. Write a biconditional statement and determine the truth value (Example #7-8), Construct a truth table for each compound, conditional statement (Examples #9-12), Create a truth table for each (Examples #13-15). A statement obtained by exchangingthe hypothesis and conclusion of an inverse statement. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. This video is part of a Discrete Math course taught at the University of Cinc. What Are the Converse, Contrapositive, and Inverse? Improve your math knowledge with free questions in "Converses, inverses, and contrapositives" and thousands of other math skills. See more. The following theorem gives two important logical equivalencies. Sometimes you may encounter (from other textbooks or resources) the words antecedent for the hypothesis and consequent for the conclusion. Proof Corollary 2.3. 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. Notice, the hypothesis \large{\color{blue}p} of the conditional statement becomes the conclusion of the converse. The inverse of the conditional $p \rightarrow q$ is \(\neg p \rightarrow \neg q\text{. 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. Let x and y be real numbers such that x 0. Contrapositive and converse are specific separate statements composed from a given statement with if-then. Get access to all the courses and over 450 HD videos with your subscription. A \rightarrow B. is logically equivalent to. Together, we will work through countless examples of proofs by contrapositive and contradiction, including showing that the square root of 2 is irrational! Tautology check "If they do not cancel school, then it does not rain.". 1: Modus Tollens for Inverse and Converse The inverse and converse of a conditional are equivalent. If you read books, then you will gain knowledge. two minutes "They cancel school" The conditional statement is logically equivalent to its contrapositive. Math Homework. A statement formed by interchanging the hypothesis and conclusion of a statement is its converse. If a number is not a multiple of 4, then the number is not a multiple of 8. You may use all other letters of the English 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.. Write the converse, inverse, and contrapositive statement of the following conditional statement. }\) 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. So if battery is not working, If batteries aren't good, if battery su preventing of it is not good, then calculator eyes that working. "It rains" All these statements may or may not be true in all the cases. - Conditional statement, If you are healthy, then you eat a lot of vegetables. If 2a + 3 < 10, then a = 3. Therefore. 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). Similarly, for all y in the domain of f^(-1), f(f^(-1)(y)) = y. First, form the inverse statement, then interchange the hypothesis and the conclusion to write the conditional statements contrapositive. A converse statement is the opposite of a conditional statement. (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? Figure out mathematic question. If it rains, then they cancel school ", Conditional statment is "If there is accomodation in the hotel, then we will go on a vacation." 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). Conditional statements make appearances everywhere. Instead, it suffices to show that all the alternatives are false. A conditional statement takes the form If p, then q where p is the hypothesis while q is the conclusion. What is contrapositive in mathematical reasoning? The differences between Contrapositive and Converse statements are tabulated below. T Emily's dad watches a movie if he has time. For. You don't know anything if I . It is easy to understand how to form a contrapositive statement when one knows about the inverse statement. What is also important are statements that are related to the original conditional statement by changing the position of P, Q and the negation of a statement. Thats exactly what youre going to learn in todays discrete lecture. is Unicode characters "", "", "", "" and "" require JavaScript to be is I'm not sure what the question is, but I'll try to answer it. 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.