Inverse, Converse, Contrapositive
Inverse, Converse, Contrapositive
Given an if-then statement "if p , then q ," 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. For instance, “If it rains, then they cancel school.”
"It rains" is the hypothesis.
"They cancel school" is the conclusion.
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".
To form the inverse of the conditional statement, take the negation of both the hypothesis and the
conclusion.
The inverse of “If it rains, then they cancel school” is “If it does not rain, then they do not cancel
school.”
Note: As in the example, a proposition may be true but its inverse may be false.
Converse
Switching the hypothesis and conclusion of a conditional statement. For example, the converse of "If it is
raining then the grass is wet" is "If the grass is wet then it is raining."
To form the converse of the conditional statement, interchange the hypothesis and the conclusion.
The converse of "If it rains, then they cancel school" is "If they cancel school, then it rains."
Note: As in the example, a proposition may be true but have a false converse.
Contrapositive
Switching the hypothesis and conclusion of a conditional statement and negating both. 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."
To form the contrapositive of the conditional statement, interchange the hypothesis and the conclusion of
the inverse statement.
The contrapositive of "If it rains, then they cancel school" is "If they do not cancel school, then it does
not rain."
Note: As in the example, the contrapositive of any true proposition is also true.
Statement If p, then q .
Converse If q, then p .
If the statement is true, then the contrapositive is also logically true. If the converse is true, then the
inverse is also logically true.
Example 1:
In the above example, since the hypothesis and conclusion are equivalent, all four statements are true.
But this will not always be the case!
Example 2: