Apply this result to show that 42 is irrational, using the assumption that 2 is irrational. The following theorem gives two important logical equivalencies. A A statement obtained by reversing the hypothesis and conclusion of a conditional statement is called a converse statement. Maggie, this is a contra positive. - Conditional statement, If you do not read books, then you will not gain knowledge. exercise 3.4.6. 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. Not every function has an inverse. "If it rains, then they cancel school" English words "not", "and" and "or" will be accepted, too. 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? 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. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. ", "If John has time, then he works out in the gym. That means, any of these statements could be mathematically incorrect. Learn how to find the converse, inverse, contrapositive, and biconditional given a conditional statement in this free math video tutorial by Mario's Math Tutoring. Suppose that the original statement If it rained last night, then the sidewalk is wet is true. Definition: Contrapositive q p Theorem 2.3. Take a Tour and find out how a membership can take the struggle out of learning math. Instead, it suffices to show that all the alternatives are false. If a number is not a multiple of 4, then the number is not 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." Since one of these integers is even and the other odd, there is no loss of generality to suppose x is even and y is odd. window.onload = init; 2023 Calcworkshop LLC / Privacy Policy / Terms of Service. Here are a few activities for you to practice. Properties? In the above example, since the hypothesis and conclusion are equivalent, all four statements are true. This video is part of a Discrete Math course taught at the University of Cinc. U The inverse statement given is "If there is no accomodation in the hotel, then we are not going on a vacation. 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. Contrapositive can be used as a strong tool for proving mathematical theorems because contrapositive of a statement always has the same truth table. \(\displaystyle \neg p \rightarrow \neg q\), \(\displaystyle \neg q \rightarrow \neg p\). Hypothesis exists in theif clause, whereas the conclusion exists in the then clause. Write the contrapositive and converse of the statement. The contrapositive If the sidewalk is not wet, then it did not rain last night is a true statement. If you read books, then you will gain knowledge. Corollary \(\PageIndex{1}\): Modus Tollens for Inverse and 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. 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{.}\). "What Are the Converse, Contrapositive, and Inverse?" Assuming that a conditional and its converse are equivalent. You may come across different types of statements in mathematical reasoning where some are mathematically acceptable statements and some are not acceptable mathematically. Still wondering if CalcWorkshop is right for you? Prove that if x is rational, and y is irrational, then xy is irrational. -Inverse statement, If I am not waking up late, then it is not a holiday. Suppose if p, then q is the given conditional statement if q, then p is its contrapositive statement. (If p then q), Contrapositive statement is "If we are not going on a vacation, then there is no accomodation in the hotel." D In a conditional statement "if p then q,"'p' is called the hypothesis and 'q' is called the conclusion. (P1 and not P2) or (not P3 and not P4) or (P5 and P6). 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. There are 3 methods for finding the inverse of a function: algebraic method, graphical method, and numerical method. This is the beauty of the proof of contradiction. There are two forms of an indirect proof. There can be three related logical statements for a conditional statement. The contrapositive does always have the same truth value as the conditional. If \(f\) is not continuous, then it is not differentiable. Lets look at some examples. 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). Prove the proposition, Wait at most For example, consider the statement. https://www.thoughtco.com/converse-contrapositive-and-inverse-3126458 (accessed March 4, 2023). 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}\). On the other hand, the conclusion of the conditional statement \large{\color{red}p} becomes the hypothesis of the converse. If the converse is true, then the inverse is also logically true. Quine-McCluskey optimization Figure out mathematic question. The converse of Only two of these four statements are true! V So instead of writing not P we can write ~P. 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). 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. half an hour. The converse statements are formed by interchanging the hypothesis and conclusion of given conditional statements. // Last Updated: January 17, 2021 - Watch Video //. For. We start with the conditional statement If P then Q., We will see how these statements work with an example. To save time, I have combined all the truth tables of a conditional statement, and its converse, inverse, and contrapositive into a single table. If you eat a lot of vegetables, then you will be healthy. ", To form the inverse of the conditional statement, take the negation of both the hypothesis and the conclusion. Notice that by using contraposition, we could use one of our basic definitions, namely the definition of even integers, to help us prove our claim, which, once again, made our job so much easier. 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 a quadrilateral has two pairs of parallel sides, then it is a rectangle. truth and falsehood and that the lower-case letter "v" denotes the 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. 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. - Inverse statement Textual alpha tree (Peirce) Converse statement is "If you get a prize then you wonthe race." G ) The converse and inverse may or may not be true. is with Examples #1-9. The inverse and converse of a conditional are equivalent. 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? Contradiction Proof N and N^2 Are Even 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. 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. A conditional and its contrapositive are equivalent. Similarly, for all y in the domain of f^(-1), f(f^(-1)(y)) = y. -Conditional statement, If it is not a holiday, then I will not wake up late. If the conditional is true then the contrapositive is true. If \(m\) is not a prime number, then it is not an odd number. "&" (conjunction), "" or the lower-case letter "v" (disjunction), "" or The truth table for Contrapositive of the conditional statement If p, then q is given below: Similarly, the truth table for the converse of the conditional statement If p, then q is given as: For more concepts related to mathematical reasoning, visit byjus.com today! What is contrapositive in mathematical reasoning? 1. two minutes 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. Let x be a real number. It will help to look at an example. (If not p, then not q), Contrapositive statement is "If you did not get a prize then you did not win the race." For example,"If Cliff is thirsty, then she drinks water." Mathwords: Contrapositive Contrapositive Switching the hypothesis and conclusion of a conditional statement and negating both. ", Conditional statment is "If there is accomodation in the hotel, then we will go on a vacation." Converse, Inverse, and Contrapositive: Lesson (Basic Geometry Concepts) Example 2.12. 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. What are the types of propositions, mood, and steps for diagraming categorical syllogism? 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. 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. 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! To get the converse of a conditional statement, interchange the places of hypothesis and conclusion. Math Homework. What Are the Converse, Contrapositive, and Inverse? The contrapositive of a conditional statement is a combination of the converse and the inverse. The sidewalk could be wet for other reasons. Example Heres a BIG hint. Related calculator: So change org. To get the inverse of a conditional statement, we negate both thehypothesis and conclusion. If \(f\) is not differentiable, then it is not continuous. What are common connectives? 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. Jenn, Founder Calcworkshop, 15+ Years Experience (Licensed & Certified Teacher). If a number is a multiple of 8, then the number is a multiple of 4. 10 seconds - Contrapositive of a conditional statement. Again, just because it did not rain does not mean that the sidewalk is not wet. Courtney K. Taylor, Ph.D., is a professor of mathematics at Anderson University and the author of "An Introduction to Abstract Algebra.". is the hypothesis. C If a quadrilateral is not a rectangle, then it does not have two pairs of parallel sides. Solution: Given conditional statement is: If a number is a multiple of 8, then the number is a multiple of 4. 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. ( 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. The contrapositive of a statement negates the hypothesis and the conclusion, while swaping the order of the hypothesis and the conclusion. We go through some examples.. Proof Corollary 2.3. A proof by contrapositive would look like: Proof: We'll prove the contrapositive of this statement . But this will not always be the case! A careful look at the above example reveals something. ten minutes "They cancel school" Then show that this assumption is a contradiction, thus proving the original statement to be true. Find the converse, inverse, and contrapositive of conditional statements. A biconditional is written as p q and is translated as " p if and only if q . Mathwords: Contrapositive Contrapositive Switching the hypothesis and conclusion of a conditional statement and negating both. An indirect proof doesnt require us to prove the conclusion to be true. preferred. Retrieved from https://www.thoughtco.com/converse-contrapositive-and-inverse-3126458. 1: Common Mistakes Mixing up a conditional and its converse. Below is the basic process describing the approach of the proof by contradiction: 1) State that the original statement is false. What is a Tautology? . "If Cliff is thirsty, then she drinks water"is a condition. Therefore, the converse is the implication {\color{red}q} \to {\color{blue}p}. enabled in your browser. Truth Table Calculator. As the two output columns are identical, we conclude that the statements are equivalent. Solution. All these statements may or may not be true in all the cases. Improve your math knowledge with free questions in "Converses, inverses, and contrapositives" and thousands of other math skills. A conditional statement is a statement in the form of "if p then q,"where 'p' and 'q' are called a hypothesis and conclusion. open sentence? The steps for proof by contradiction are as follows: It may sound confusing, but its quite straightforward. Simplify the boolean expression $$$\overline{\left(\overline{A} + B\right) \cdot \left(\overline{B} + C\right)}$$$. Canonical CNF (CCNF) Optimize expression (symbolically) T is for (var i=0; i" (conditional), and "" or "<->" (biconditional). 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. A conditional statement is also known as an implication. Now it is time to look at the other indirect proof proof by contradiction. ," 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. The original statement is true. Also, since this is an "iff" statement, it is a biconditional statement, so the order of the statements can be flipped around when . 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). A statement that is of the form "If p then q" is a conditional statement. not B \rightarrow not A. We also acknowledge previous National Science Foundation support under grant numbers 1246120, 1525057, and 1413739. What is Quantification? Disjunctive normal form (DNF) 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. For instance, If it rains, then they cancel school. Example: Consider the following conditional statement. 2023 Calcworkshop LLC / Privacy Policy / Terms of Service, What is a proposition? If there is no accomodation in the hotel, then we are not going on a vacation. is the conclusion. is For Berge's Theorem, the contrapositive is quite simple. "What Are the Converse, Contrapositive, and Inverse?" Emily's dad watches a movie if he has time. S The steps for proof by contradiction are as follows: Assume the hypothesis is true and the conclusion to be false. How do we show propositional Equivalence? Thats exactly what youre going to learn in todays discrete lecture. ", The inverse statement is "If John does not have time, then he does not work out in the gym.". 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. Therefore: q p = "if n 3 + 2 n + 1 is even then n is odd. Tautology check The contrapositive of 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. A \rightarrow B. is logically equivalent to. 20 seconds Legal. (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). , then ThoughtCo, Aug. 27, 2020, thoughtco.com/converse-contrapositive-and-inverse-3126458. and How do we write them? You don't know anything if I . Please note that the letters "W" and "F" denote the constant values The addition of the word not is done so that it changes the truth status of the statement. Okay. Determine if each resulting statement is true or false. 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. Which of the other statements have to be true as well? If \(f\) is differentiable, then it is continuous. Every statement in logic is either true or false. See more. Atomic negations If \(m\) is a prime number, then it is an odd number. - Converse of Conditional statement. Hope you enjoyed learning! Before we define the converse, contrapositive, and inverse of a conditional statement, we need to examine the topic of negation. It is to be noted that not always the converse of a conditional statement is true. The mini-lesson targetedthe fascinating concept of converse statement. Taylor, Courtney. (virtual server 85.07, domain fee 28.80), hence the Paypal donation link. Learning objective: prove an implication by showing the contrapositive is true. What is Symbolic Logic? Step 3:. 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 a number is a multiple of 4, then the number is a multiple of 8. represents the negation or inverse statement. ( Your Mobile number and Email id will not be published. And then the country positive would be to the universe and the convert the same time. whenever you are given an or statement, you will always use proof by contraposition. Contingency? Notice, the hypothesis \large{\color{blue}p} of the conditional statement becomes the conclusion of the converse. Whats the difference between a direct proof and an indirect proof? It will also find the disjunctive normal form (DNF), conjunctive normal form (CNF), and negation normal form (NNF).