Inverse of a Conditional

Inverse of a Conditional

Negating both the hypothesis and conclusion of a conditional statement. For example, the inverse of "If it is raining then the grass is wet" is "If it is not raining then the grass is not wet".

Note: As in the example, a proposition may be true but its inverse may be false.

See also

Contrapositive, converse, biconditional

Key Formula

\text{Conditional: } P \rightarrow Q \qquad \text{Inverse: } \lnot P \rightarrow \lnot Q

Where:

$P$ = The hypothesis (the "if" part of the conditional)
$Q$ = The conclusion (the "then" part of the conditional)
$\lnot$ = The negation symbol, meaning "not"

Example

Problem: Given the conditional statement "If a number is divisible by 6, then it is divisible by 2," write its inverse and determine whether the inverse is true or false.

Step 1: Identify the hypothesis P and conclusion Q.

P: \text{a number is divisible by 6} \qquad Q: \text{a number is divisible by 2}

Step 2: Negate both the hypothesis and the conclusion.

\lnot P: \text{a number is not divisible by 6} \qquad \lnot Q: \text{a number is not divisible by 2}

Step 3: Form the inverse by connecting the negated hypothesis to the negated conclusion.

\lnot P \rightarrow \lnot Q: \text{If a number is not divisible by 6, then it is not divisible by 2.}

Step 4: Check the truth value. Consider the number 4: it is not divisible by 6, but it is divisible by 2. This is a counterexample, so the inverse is false.

Answer: The inverse is "If a number is not divisible by 6, then it is not divisible by 2." This statement is false (counterexample: 4).

Another Example

Problem: Given the conditional "If a polygon has exactly 3 sides, then it is a triangle," write the inverse and determine its truth value.

Step 1: Identify the parts: P is "a polygon has exactly 3 sides" and Q is "it is a triangle."

Step 2: Negate both parts: ¬P is "a polygon does not have exactly 3 sides" and ¬Q is "it is not a triangle."

\lnot P \rightarrow \lnot Q: \text{If a polygon does not have exactly 3 sides, then it is not a triangle.}

Step 3: Evaluate: any polygon without exactly 3 sides (e.g., a square, pentagon) is indeed not a triangle. The inverse is true in this case.

Answer: The inverse is "If a polygon does not have exactly 3 sides, then it is not a triangle." This statement is true. Notice that when the original conditional and its converse are both true (i.e., P if and only if Q), the inverse will also be true.

Frequently Asked Questions

Is the inverse of a conditional always true when the original is true?

No. A conditional statement can be true while its inverse is false. For example, "If it rains, then the ground is wet" is true, but "If it does not rain, then the ground is not wet" is false — a sprinkler could wet the ground. The inverse is only guaranteed to be true when the original statement is a biconditional (if and only if).

What is the difference between the inverse and the contrapositive?

The inverse negates both parts of the conditional: ¬P → ¬Q. The contrapositive reverses and negates both parts: ¬Q → ¬P. A crucial difference is that the contrapositive is always logically equivalent to the original conditional, while the inverse is not — it is logically equivalent to the converse instead.

Inverse vs. Contrapositive

Both involve negation, but they differ in a key way. The inverse of P → Q is ¬P → ¬Q (negate both parts, keep the same order). The contrapositive is ¬Q → ¬P (negate both parts and swap their positions). The contrapositive always has the same truth value as the original conditional. The inverse does not — it shares its truth value with the converse (Q → P) instead.

Why It Matters

Understanding the inverse helps you avoid faulty reasoning in proofs and everyday logic. A common logical error is assuming that because "If P then Q" is true, "If not P then not Q" must also be true — this is called the fallacy of the inverse (or denying the antecedent). Recognizing this distinction is essential in geometry proofs, computer science (where conditional logic drives programs), and critical thinking in general.

Common Mistakes

Mistake: Confusing the inverse with the contrapositive.

Correction: The inverse keeps the original order and negates: ¬P → ¬Q. The contrapositive reverses the order and negates: ¬Q → ¬P. Only the contrapositive is logically equivalent to the original statement.

Mistake: Assuming the inverse must be true whenever the original conditional is true.

Correction: A true conditional can have a false inverse. Always test the inverse independently. For instance, "If x = 3, then x is odd" is true, but "If x ≠ 3, then x is not odd" is false (x = 5 is a counterexample).

Related Terms

Conditional — The original "if P then Q" statement
Converse — Swaps hypothesis and conclusion: Q → P
Contrapositive — Negates and swaps: ¬Q → ¬P, logically equivalent
Hypothesis — The "if" part that gets negated
Conclusion — The "then" part that gets negated
If and Only If — Biconditional where inverse is also true