# What are propositional equivalences in Discrete Mathematics?

Propositional equivalences are used extensively in the construction of mathematical arguments. By using these equivalences, we can substitute propositions with other propositions with the same truth value. This proves to be very useful in different types of situations.

Two compound propositions p and q are logically equivalent if p ↔ q is a tautology. The symbol we use to show that there is a logical equivalence is ‘≡’. As an example, p ≡ q means that p is logically equivalent to q.

Let’s define some terms that will help you understand better the previous definition and see some examples.

## Definitions

Def. A compound proposition is an expression created using propositional variables and logical operators. Examples, p v q, p ^ q v r.

Def. A tautology is a compound proposition that is always true, with disregard of the truth values of the propositional variables in the compound proposition.

Def. A contradiction is a compound proposition that is always false, with disregard of the truth values of the propositional variables in the compound proposition.

Def. A contingency is a compound proposition that is not a tautology, nor a contradiction.

Def. Two compound propositions p and q are logically equivalent if p ↔ q is a tautology.

We start with definitions because in mathematics you can’t do anything without using definitions.

So, it is very important that you understand the definitions so you can use them to create arguments and proofs.

## Example 1: Shows the following by using a a truth table

If we follow the definition above that tells us if two compound propositions are logically equivalent, we can see that by creating a truth table we can answer whether the two compound propositions are logically equivalent or not.

I wrote another post for you in case you still don’t know how to create a truth table.

See below the table.

As you can see, the compound proposition in the last column is a tautology because it is always true. Then, by the definition of logical equivalence, we can state that:

Notice that is not enough to just create the truth table. You always must state the conclusion and why that is your conclusion. Notice that the way we justify the conclusion, in this case, is by using definitions. That’s why you must start by learning the definitions.

What will happen if you have to prove that two compound propositions that involve 3 propositional variables are logically equivalent?

You can create the truth table as in the previous example, but this time you will have 8 rows because you have to use all possible combinations of truth values for each propositional variable.

If the compound propositions have 4 propositional variables, then you will have to use 16 rows.

As you can see, the growth in rows is exponential. So, this method is not scalable for a bigger number of propositional variables.

Let’s see a better way of doing this in an example.

## Logical equivalences that you can use

As stated at the beginning of this post, we use logical equivalences to substitute a compound proposition with another one while we are creating a mathematical argument.

Once you prove two compound propositions are logically equivalent, you can substitute one with the other one in any place.

There are some important logical equivalences that you can use. They are already proved and therefore are accepted in any mathematical argument.

Every time you use one of these logical equivalences, you have to justify it just by mentioning the name. In the last two cases, you justify by saying “by conditional logical equivalence”.

Let’s see an example of how to use them.

Solution: