Implication (, ) and equivalence () are two very important logical operators. In this entry you will become familiar with these symbols, and how they work in mathematics.
Logic is the study of correct thinking. It requires sound, valid reasoning, conclusions, and proofs that follow from rules, principles, laws, and terms. Logic has its roots from the time of Aristotle. In mathematics, you use logic as your foundation when working with proofs.
So how is all this connected? Without even thinking about it, you may have already worked with logic quite a bit. Solving an equation is a logical exercise. You look for a solution such that the equal sign becomes true. This is rather exciting. Here are two examples of what implication and equivalence can look like:
When you see an implication arrow (, ), you read it as “if-then”. Such as
If Bono is the lead singer of U2, then he is a member of U2.
If there’s a equivalence sign (), you read it as “if and only if”. Such as
if and only if .
In general, it follows that:
In this case, the statement is always true, if statement is true. You say that “ implies ” or “if then ”.
The implication is valid only one way. This means that is always true if is true. But, even though is true, that doesn’t necessarily mean that is true.
Look at the sentence:
If Lisa lives in London, then she lives the UK.
If Lisa lives in the UK, she doesn’t necessarily live in London.
The statement is an implication because the statement is absolutely true only one way. You can’t conclude that since Lisa lives in the UK, she must live in London. She may for instance live in Liverpool.
Look at the sentence:
If it rains, the street gets wet.
If the street is wet, it isn’t necessarily due to rain.
The street may have gotten wet because someone was watering plants nearby.
In this case, the statement is true if is true (), and that the statement is true if the statement is true ().
You say that is equivalent to , since the implication goes both ways. This results in “ if and only if ”. Two statements being equivalent to each other means that you have a logical equality.
Let’s look at the relationship between David Beckham and his son Brooklyn Beckham.
Brooklyn is David’s son, if and only if David is Brooklyn’s father.
Brooklyn being David’s son is equivalent to David being Brooklyn’s father. You may divide this equivalence into two implications:
If Brooklyn is David’s son, then David is Brooklyn’s father.
Thus, the statement Brooklyn is David’s son implies that David is Brooklyn’s father. In addition:
If David is Brooklyn’s father, then Brooklyn is David’s son.
Thus, the statement David is Brooklyn’s father implies that Brooklyn is David’s son.
Since the implication goes both ways, the statements are equivalent.
Look at the following statement:
In a triangle, all its angles are equal if and only if all its sides have the same length.
This equivalence consists of two implications (here “all angles in a triangle are equal” and “all sides of a triangle have the same length”):
If all angles in a triangle are equal, then all its sides have the same length.
If all sides of a triangle have the same length, then all its angles are equal.
Note that even if the equivalence is true, the two statements themselves don’t have to be true. There are triangles that are not equilateral. What the equivalence says is that if one is true, the other must be true, and vice versa. So if you know that a triangle is equilateral, then you also know that all the angles in it are equal, and if you know that all the angles in a triangle are equal, then all the sides must also have the same length.
If , then . This means that
But you also know that if , then . This means that
Since the implications are true both ways, the statements are equivalent and you write