Logic Laws: Converse, Inverse, Contrapositive & Counterexample

Lesson Transcript
Instructor: Christopher Muscato

Chris has a master's degree in history and teaches at the University of Northern Colorado.

The validity of a logical statement often can be determined by looking at its logical equivalence. Learn about the logical variants of a conditional statement, and explore the definitions of converse, inverse, contrapositive, and counterexample. Updated: 08/26/2021

Logical Equivalence

How do you know if something is true? When you think about it, it is a really important question. We like truth. . . we like to know when things are true. . . so how do you know? There are two main ways: First, something can be factual. Secondly, it can be logical. Some things we know to be true because it is logical that they are true.

The art and science of logic is one with deep roots in Western history and philosophy, and over the millennia, we've developed a few handy rules for testing the truth of logic. One such rule is that of logical equivalence, or the mutually supported logic between two statements. Imagine that I said:

If I were sitting on my floor, I'd be at home.

Then, imagine if I said:

If I were not in my home, I would not be sitting on my floor.

Those two statements are logical equivalences - they contain the same logical content. This is how we construct logical equivalences. We create a:

  • Hypothesis: If I were sitting on my floor
  • Conclusion: I would be in my home

and compare them, then do the same for a second statement. So how do we know what's true? It's just logic. . .

An error occurred trying to load this video.

Try refreshing the page, or contact customer support.

Coming up next: Mathematical Sets: Elements, Intersections & Unions

You're on a roll. Keep up the good work!

Take Quiz Watch Next Lesson
Your next lesson will play in 10 seconds
  • 0:03 Logical Equivalence
  • 1:24 The Converse
  • 2:24 The Inverse
  • 3:43 The Contrapositive
  • 4:27 Counterexample
  • 6:03 Lesson Summary
Save Save Save

Want to watch this again later?

Log in or sign up to add this lesson to a Custom Course.

Log in or Sign up

Speed Speed

The Converse

There are many ways we can talk about logical equivalences, but let's focus on four of the most common:

Imagine if I said the conditional phrase:

If I were sitting on my floor, then I would be at home.

That is logically accurate. Now try this:

If I were at home, I would be sitting on my floor.

This new phrase is what we call the converse of the original statement. The converse is created by switching the hypothesis and conclusion, and as you can see, it changes the logic of the sentence. Even though the logical converse of our original statement contains the same words, it does not necessarily contain the same truth value or logical content. In the first sentence, sitting on your floor means you must be in your home; however, the converse is not necessarily true: you can be in your home but not sitting on your floor. I mean, have you heard of furniture? Sit on a chair! The converse may be true but is not always true.

The Inverse

The next way we can test for logical equivalences is to find the logical inverse of the conditional statement. The inverse is the negative form of the conditional in which both hypothesis and conclusion are negated. So, if our conditional statement is:

If I were sitting on my floor, then I would be at home.

Then, the inverse would be:

If I were not sitting on my floor, then I would not be at home.

As with the logical converse, the logical inverse does not necessarily hold the same truth value as the conditional statement: it is, in fact, possible to be standing on the floor and still be at home. But wait - there's more. . .

While the inverse and conditional phrases are not necessarily logically equivalent, what happens if we compare the inverse with the converse? Here's our converse phrase again:

If I were at home, then I would be sitting on my floor.

And here's our inverse phrase:

If I were not sitting on my floor, then I would not be at home.

If the converse statement is true, then the inverse has to also be true, and vice versa. Likewise, if the converse statement is false, then the inverse statement must also be false and vice versa. The logical converse and inverse of the same conditional statement are logically equivalent to each other.

The Contrapositive

Okay, enough with the warm-up, now it's time to get really weird. The converse flips a statement and the inverse negates it, but what if we do both? The logical contrapositive of a conditional statement is created by negating the hypothesis and conclusion, then switching them.

So, if our conditional is the statement that:

If I were sitting on my floor, then I would be at home.

Then the contrapositive would be:

If I were not in my home, I would not be sitting on my floor.

To unlock this lesson you must be a Member.
Create your account

Register to view this lesson

Are you a student or a teacher?

Unlock Your Education

See for yourself why 30 million people use

Become a member and start learning now.
Become a Member  Back
What teachers are saying about
Try it now
Create an account to start this course today
Used by over 30 million students worldwide
Create an account