The Power of Equivalence: Unraveling Logical Connections

Equivalence

Implication and equivalence are two types of logic statements that can be used to express conditional or logical relationships between two propositions.

• Implication

An implication is a statement that says that if one thing is true, then another thing must be true as well. It is written in the form: “If A, then B.”For example: If it rains, then the ground will be wet. In this statement the subject (it) refers to an event (rains). The predicate (wet) describes an attribute of the subject.

• Equivalence

An equivalence is a statement that says two things are equal to each other. It is written in the form: “A = B.” For example: 1 + 1 = 2 or "All men are created equal"

• Biconditional

In logic, a biconditional statement is an expression of the form "A if and only if B".The word "if and only if" is traditionally abbreviated as "iff" or "iffy".

The truth table of a biconditional is:ABA≡BTTTFTFFF

Let's look at logical equivalence!
The concepts of equivalence and implication are closely related. Two statements are said to be logically equivalent if each implies the other.
The notion of equivalence is fundamental to logic and mathematics. Many mathematical results are proofs that two statements are equivalent. In fact, equivalence is to logic as equations are to arithmetic and algebra. And you already know that equations play a central role in mathematics.
As we saw earlier, the conditional is an important concept in formal logic.

Get quality help now

Sweet V

Verified

Proficient in: Mathematics

4.9 (984)

“ Ok, let me say I’m extremely satisfy with the result while it was a last minute thing. I really enjoy the effort put in. ”

+84 relevant experts are online

Hire writer

It can be used tonexpress implication but not causation. We need a new form of equivalence—the biconditional—that allows us to express causes.
We have already completed the difficult work of determining the implications of our efforts. Now we can reap the benefits.
Two statements phi and psi are logically equivalent if each implies the other. A formal version of implication, called the conditional, can be expressed as a biconditional in logic.
The biconditional of phi and psi is denoted by means of a double-headed arrow, like this.The biconditional can be formally defined as an abbreviation of phi conditional psi and psi conditional phi. Since the conditional is defined in terms of truth values, it follows that the biconditional is defined in terms of truth values.
If you work out the truth tables for phi conditional psi and psi conditional phi, and then combine the results using the De Morgan law, you will get the truth table for phinbiconditional psi.
If you do that, you will find that phi biconditional psi is true if both phi and psi are true ornthey are both false. One way to show the equivalence of two statements phi and psi is to show that they have the same truth table.
To avoid confusion, let’s change those to capital letters Phi and Psi, because we can use the lowercase letters phi and psi for something else.
This example shows that phi conjoined with psi or not phi is equivalent to phi conditional psi.
Here, we will use uppercase letters for the first time. At a high school level, different letters are chosen to denote everything. However, professional mathematicians frequently use upper- and lower-case symbols in the same context.
One way to master university-level mathematics is to get used to ambiguous notations. We must work up the truth table for this, the truth table for that, and show that they are the same.
To start with, we will calculate phi, psi, and the negations of these values. We will then need to determine not phi. Next, we can determine phi and psi disjoined with not phi. Then we can compare this value with phi conditional on psi.
It is customary to begin with the four basic combinations, TT, TF, FT, FF. It does not matter which order these are written in as long as all four combinations are included.
The way I've written it is the way most mathematicians write it. This statement is true if both conjuncts are true; therefore, if the first part of the statement is true—that is, if TT gives T—then the conclusion must be true, which is an F.
Here there is an F, so you are getting an F. We have two Fs, so you are getting an F. Negation simply flips T and F, so T T F F becomes F F T T.
Now I'm going to disjoin this with that. The disjunction picks out one T and an F, so I will get an F here. There is no T, so I will get an F again. There is a T there, which gives me a T, and another T there also gives me a T.
The truth value of Phi conditional Psi is equivalent to the truth value of Phi conditional Psi. The truth values of these expressions are T, F, T, T. We previously concluded that the truth values of these expressions were T, F, T, T. Since these two columns contain the same values, I can conclude that Phi conditional Psi is equivalent to Phi conditional Psi.
Proving equivalence by means of truth tables is a special case. In general, proving equivalence is quite difficult and requires looking at what the two statements mean and developing a proof based on their meanings.
Two statements ф and ψ are said
to be (logically) equivalent, if each implies the other.
Biconditional ф <=> ψ It's an abbreviation of (ф => ψ) ^ (ψ => ф)
ф => ψ is true, if ф and ψ are both true or if they're both false.
One way to show that two statement and are equivalent is to show they have the same truth tables.
For example (ф ^ ψ)v negΦ is equivalent to ф => ψ
Ф T T F F
ψ T F T F
ф ^ ψ T F F F
negΦ F F T T
(ф ^ ψ)v negΦ T F T T
ф => ψ T F T T
The notion of implication itself is simple. What is difficult is mastering the various nomenclatures associated with it. We start out with the notion that phi implies psi.
We will be considering the conditional implications of this idea, but you may interpret everything else in terms of the conditional.
If mathematicians always used the same notation to refer to phi and psi, then life would be very simple. But as is often the case in mathematics, there are many different notations used to describe that relationship.
Some of these statements are intuitively obvious and some are actually counter-intuitive when first encountered. One, if phi, then psi. Okay, that's fairly obvious. Two, phi is sufficient for psi.
In order to conclude that psi exists, it suffices to know the value of phi. On the face of it, this is fairly straightforward, but in complicated situations people can sometimes get misled by the use of the word sufficient.
In the context of implication, the use of the word sufficient is not the most problematic. This one causes people a lot of problems at first.
The implication of psi only if phi is not the same as the implication of phi if psi. The former implies psi only if phi, while the latter implies that phi only if psi. I want to emphasize that this "if" goes with psi and not with phi. Let's put quotes on that one: "if". As you can see, itnchanges the order of the implication.
To ride in the Tour de France, a person must have a bicycle. It appears true as if you don't have a bicycle you are unable to ride in the Tour de France. Pay attention: it doesn't mean that if you have a bicycle then you can ride in the Tour de France.
If phi, then psi; notice that we've flipped the order now. Phi is the antecedent, and psi is a consequent. These roles will remain constant in all of these.
The conditional statement Phi => Psi is equivalent to the statement Psi => Phi. The antecedent comes first and the consequent comes second. This means that Phi implies Psi, but now the consequent comes first and the antecedent comes second.
Think about something you do that requires some type of equipment or preparation. Then consider how this activity can be interpreted in terms of something meaningful in your life.
Continue.
Whenever psi is necessary for phi, the order is flipped from the order in implication. That's still the consequence. That's the antecedent, but they've been written the opposite way around.
Whenever phi occurs, psi must also occur. Finally, psi is necessary for the existence of phi.
Again, the order is flipped around. That is still the antecedent, and that is still the consequent. Phi cannot occur without psi. In order to participate in the Tour de France, you must have a bicycle. It is not sufficient, however, that you have a bicycle. To participate in the Tour de France it is necessary that you have a bicycle but it's not sufficient that you have a bicycle.
This is the example I would use to illustrate all of these terms, but you can choose your favorite example to comprehend these things. It is important to understand this terminology because it is used frequently in mathematics, science, and analytic reasoning.
Mathematical language is more than a means of expressing mathematical ideas; it's also used in a wide variety of other contexts—e.g., legal documents, logical arguments, and analytic arguments.
Phi and psi are commonly associated with implication. We have an associated terminology for equivalence: phi is equivalent to psi is itself equivalent to, by the way this already
shows how ubiquitous the equivalence is because the obvious word to describe this, let us put quotes around that just to ambiguate.
One way to describe this is to say that it is equivalent to something. The word equivalence refers to a basic concept in mathematics, namely the relationship between two quantities or sets of quantities that are directly equal.
So this statement, this claim, is equivalent to phi being necessary and sufficient for psi. This combination of necessity and sufficiency is very common in mathematics. And b, phi, if and only if psi. That's also very common in mathematics, if and only if.
Note that we are now combining necessary and sufficient conditions. With necessary conditions, we have psi before phi. With sufficient conditions, we have phi before psi, and that gets us the implication in both directions (and equivalence means implication in both directions).
An implication of the fact that psi and phi are identical is that they can be written in either order; where psi comes before phi, so does phi come before psi. Similarly with b: If and only if combines only if, where phi comes before psi, with if, where psi comes before phi.
Thus, in both of these cases we have an implication from phi to psi, and from psi to phi. The abbreviation iff is often used to represent this expression: if and only if.
If and only if or if if means that the two statements are equivalent.
When you master this terminology, you should be able to read and understand almost any mathematics that you encounter.
You may not be able to understand the mathematics itself, but at least you should be able to understand what it's talking about. The rest is up to you—spend some time mastering the concepts.
Quiz appears.
ф implies ψ
Ф – antecedent
ψ – concequent
The following all mean "ф implies ψ"
1. If ф, then ψ.
2. ф is sufficient for ψ.
3. ф only if ψ. not the same as "if ψ then ф".
4. ψ if ф.
5. ψ whenever ψ.
6. ψ is necessary for ф.
Ф is equivalent to ψ is itself equivalent to
a. Ф is necessary and sufficient for ψ
b. Ф if and only if ψ. abberviated "iff".
The following questions are divided into 4 parts. How many correct answers can you get? Let's see how you did by checking the conditions for the natural number n to be a multiple of 10.
First Part. The question we must ask ourselves is whether the statement "n" being a multiple of 10 implies that it is necessary for "n" to be a multiple of 10. Let us examine this question.
Does n being a multiple of 10 imply that it's a multiple of 5? Yes, since any multiple of 5 is also a multiple of 10. Does n being a multiple of 10 imply that this is a multiple of 20? No, since 10 is not itself a multiple of 20.
Is n a multiple of 10? Yes, does n being a multiple of 10 imply that n is even? No. Does n being a multiple of 10 imply that it's a multiple of 100? No. Does n being a multiple of 10 imply that n squared is also a multiple of 100? Yes, so the three conditions are necessary for the number n to be divisible by 10.
Condition 1, condition 3, condition 5.
Second Part.
This time we must ask whether or not the statement implies that n is a multiple of 10. Well, does it imply that n is a multiple of 10? No, it does not. 5 is itself a multiple of 5. It is not a multiple of 10.
Look at number two. Is it the case that if n is a multiple of 20, then it has to be a multiple of 10? The answer is yes. Does n being even and a multiple of 5 imply that it's a multiple 10?
Yes, if n is 100, does that imply that it is a multiple of 10? Yes, if n2 is a multiple of 100, does that imply that it is a multiple of 10? Yes, in this case, 2, 3, 4, and 5 are the correct answers. They all are sufficient for n being a multiple of 10.
Let's move on to Part Three. For this one, we must compare our answers for the two previous questions: necessity and sufficiency. For the first question, we have 1, 3, and 5. For sufficiency, we have 2, 3, 4 and 5. This question asks for both necessity and sufficiency; here we have just one of them; there we have only the other one; there we have both of them; here we have only one of them; and there we can see that both elements are present. Thus, this one, that one.
QUIZ – Part 1
Which of the following conditions is necessary for the
natural number n to be a multiple of 10?
1. n is a multiple of 5
2. n is a multiple of 20
3. n is even and a multiple of 5
4. n = 100
5. n2 is a multiple of 100
Does n being a multiple of 10 imply the statement?
QUIZ – Part 2
Which of the following conditions is sufficient for the natural number n to be a multiple of 10?
1. n is a multiple of 5
2. n is a multiple of 20
3. n is even and a multiple of 5
4. n = 100
5. n2 is a multiple of 100
Does this statement imply n is a multiple of 10?
QUIZ – Part 3
Which of the following conditions is necessary and sufficient for the natural number to be a multiple of 10?
1. n is a multiple of 5
2. n is a multiple of 20
3. n is even and a multiple of 5
4. n = 100
5. n2 is a multiple of 100
For Part Four, the question we have to ask ourselves is what does the antecedent imply? In statement one, this does the implying. In question two of statement two, even though it's written opposite to sentence number one, essentially it's the same idea expressed. It is the alarm that does the implying. Similarly, in number three, Keith cycles only if the sun shines does not imply that Keith was cycling at all. The implication here is that Keith does not cycle in the rain. In number 4, Amy's arrival does the implying.
QUIZ – Part 4
Identify the antecedent in each of the following conditionals:
1. If the alarm rings, everyone leaves. THE ALARM RINGS EVERYONE LEAVES
2. Everyone leaves if the alarm rings. EVERYONE LEAVES THE ALARM RINGS
3.Keith cycles only if the sun shines. KEITH CYCLES THE SUN SHINES
4. Joe leaves whenever Amy arrives. JOE LEAVES AMY ARRIVES
We've so far distinguished between genuine implication and its equivalents. They're more like counterparts, though; the conditional and the bi-conditional.
In the daily work of mathematicians, however, we often use the arrow symbol as an abbreviation for "implies"—on one side of the arrow is an abbreviation for "is equivalent to."
Although this may seem confusing to beginners, it is simply the way a mathematical practice evolves and there is no getting around it. In fact, once you get used to the notions, it is not all that confusing as it might seem at first and here is an explanation.
The conditional and bi-conditional are only different from implication and equivalents in situations that do not apply in the normal practice of mathematics. In any real mathematical context, the conditional effectively is implication, and the bi-conditional effectively is an equivalent.
The formal notion of implication and equivalence differ from their everyday counterparts, but mathematicians simply take note of the difference and move on. The very act of formulating a definition creates an understanding that allows us to use the everyday notions safely.
Sure, programmers and people who develop aircraft control systems must ensure that all the notions in their programs are defined and that they give answers in all circumstances.
Implications and equivalences are at the heart of mathematics. Mastery of those concepts and of the terminology associated with them is fundamental to mathematical thinking.