Converse, Inverse, and Contrapositive of a Conditional Statement

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. 

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.

What is a Conditional Statement?

A conditional statement takes the form “If p, then q” where p is the hypothesis while q is the conclusion. A conditional statement is also known as an implication.

Sometimes you may encounter (from other textbooks or resources) the words “antecedent” for the hypothesis and “consequent” for the conclusion. Don’t worry, they mean the same thing.

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}.

different ways to write or represent the conditional statement "p implies q"

Given a conditional statement, we can create related sentences namely: converse, inverse, and contrapositive. They are related sentences because they are all based on the original conditional statement.

Let’s go over each one of them!

The Converse of a Conditional Statement

For a given the 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. Therefore, the converse is the implication {\color{red}q} \to {\color{blue}p}.

Notice, the hypothesis \large{\color{blue}p} of the conditional statement becomes the conclusion of the converse. On the other hand, the conclusion of the conditional statement \large{\color{red}p} becomes the hypothesis of the converse.

the converse of p implies q is q implies p

The Inverse of a Conditional Statement

When you’re 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. Thus, the inverse is the implication ~\color{blue}p \to ~\color{red}q.

The symbol ~\color{blue}p is read as “not p” while ~\color{red}q is read as “not q” .

the inverse of "p implies q" is "not p implies not q"

The Contrapositive of a Conditional Statement

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.

In other words, to find the contrapositive, we first find the inverse of the given conditional statement then swap the roles of the hypothesis and conclusion. Therefore, the contrapositive of the conditional statement {\color{blue}p} \to {\color{red}q} is the implication ~\color{red}q \to ~\color{blue}p.

the contrapositive of "p implies q" is "not q implies not p"

Truth Tables of a Conditional Statement, and its Converse, Inverse, and Contrapositive

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.

To save time, I have combined all the truth tables of a conditional statement, and its converse, inverse, and contrapositive into a single table.

truth tables of implication, converse, inverse and contrapositive in one single table

Here are some of the important findings regarding the table above:

  • The conditional statement is NOT logically equivalent to its converse and inverse.
  • The conditional statement is logically equivalent to its contrapositive. Thus, {\color{blue}p} \to {\color{red}q} \equiv ~\color{red}q \to ~\color{blue}p.
  • The converse is logically equivalent to the inverse of the original conditional statement. Therefore, {\color{red}q} \to {\color{blue}p} \equiv ~\color{blue}p \to ~\color{red}q.

You might also be interested in:

Introduction to Truth Tables, Statements, and Logical Connectives

Truth Tables of Five (5) Common Logical Connectives or Operators