Converse, Inverse, and Contrapositive

1. Introduction

For every conditional statement (implication) of the form $p \implies q$, there are three related conditional statements that can be formed. These are the converse, the inverse, and the contrapositive. Understanding the relationship between these is crucial for validating arguments in logic.

2. The Converse

The converse of the implication $p \implies q$ is the implication $q \implies p$. It is formed by swapping the hypothesis and the conclusion.

• Original Statement ($p \implies q$): "If it is raining, then the ground is wet."
• Converse ($q \implies p$): "If the ground is wet, then it is raining."

Important Note: A statement and its converse are not logically equivalent. The original statement can be true while its converse is false (e.g., the ground could be wet because a sprinkler was on).

3. The Inverse

The inverse of the implication $p \implies q$ is the implication $\sim p \implies \sim q$. It is formed by negating both the hypothesis and the conclusion.

• Original Statement ($p \implies q$): "If it is raining, then the ground is wet."
• Inverse ($\sim p \implies \sim q$): "If it is not raining, then the ground is not wet."

Important Note: A statement and its inverse are not logically equivalent. Just like the converse, the inverse can be false even if the original statement is true.

4. The Contrapositive

The contrapositive of the implication $p \implies q$ is the implication $\sim q \implies \sim p$. It is formed by negating both the hypothesis and the conclusion, and then swapping them.

• Original Statement ($p \implies q$): "If it is raining, then the ground is wet."
• Contrapositive ($\sim q \implies \sim p$): "If the ground is not wet, then it is not raining."

Crucial Property: An implication and its contrapositive are always logically equivalent. They have the exact same truth table. If one is true, the other must be true. If one is false, the other must be false. This is a very powerful tool in mathematical proofs.

5. Summary of Relationships

Statement	Form	Relationship to Original	Logically Equivalent?
Original	$p \implies q$	-	-
Converse	$q \implies p$	Swaps hypothesis and conclusion	No
Inverse	$\sim p \implies \sim q$	Negates hypothesis and conclusion	No
Contrapositive	$\sim q \implies \sim p$	Negates and swaps	Yes

• The converse and the inverse are logically equivalent to each other.