Sunday, May 17, 2020
How to Use If and Only If in Mathematics
When reading about statistics and mathematics, one phrase that regularly shows up is ââ¬Å"if and only if.â⬠This phrase particularly appears within statements of mathematical theorems or proofs. But what, precisely, does this statement mean? What Does If and Only If Mean in Mathematics? To understand ââ¬Å"if and only if,â⬠we must first know what is meant by a conditional statement. A conditional statement is one that is formed from two other statements, which we will denote by P and Q. To form a conditional statement, we could say ââ¬Å"if P then Q.â⬠The following are examples of this kind of statement: If it is raining outside, then I take my umbrella with me on my walk.If you study hard, then you will earn an A.If n is divisible by 4, then n is divisible by 2. Converse and Conditionals Three other statements are related to any conditional statement. These are called the converse, inverse, and the contrapositive. We form these statements by changing the order of P and Q from the original conditional and inserting the word ââ¬Å"notâ⬠for the inverse and contrapositive. We only need to consider the converse here. This statement is obtained from the original by saying ââ¬Å"if Q then P.â⬠Suppose we start with the conditional ââ¬Å"if it is raining outside, then I take my umbrella with me on my walk.â⬠The converse of this statement is ââ¬Å"if I take my umbrella with me on my walk, then it is raining outside.â⬠We only need to consider this example to realize that the original conditional is not logically the same as its converse. The confusion of these two statement forms is known as a converse error. One could take an umbrella on a walk even though it may not be raining outside. For another example, we consider the conditional ââ¬Å"If a number is divisible by 4 then it is divisible by 2.â⬠This statement is clearly true. However, this statementââ¬â¢s converse ââ¬Å"If a number is divisible by 2, then it is divisible by 4â⬠is false. We only need to look at a number such as 6. Although 2 divides this number, 4 does not. While the original statement is true, its converse is not. Biconditional This brings us to a biconditional statement, which is also known as an if and only if statement. Certain conditional statements also have converses that are true. In this case, we may form what is known as a biconditional statement. A biconditional statement has the form: â⬠If P then Q, and if Q then P.â⬠Since this construction is somewhat awkward, especially when P and Q are their own logical statements, we simplify the statement of a biconditional by using the phrase if and only if. Rather than say if P then Q, and if Q then P we instead say P if and only if Q. This construction eliminates some redundancy. Statistics Example For an example of the phrase ââ¬Å"if and only ifâ⬠that involves statistics, look no further than a fact concerning the sample standard deviation. The sample standard deviation of a data set is equal to zero if and only if all of the data values are identical. We break this biconditional statement into a conditional and its converse. Then we see that this statement means both of the following: If the standard deviation is zero, then all of the data values are identical.If all of the data values are identical, then the standard deviation is equal to zero. Proof of Biconditional If we are attempting to prove a biconditional, then most of the time we end up splitting it. This makes our proof have two parts. One part we prove is ââ¬Å"if P then Q.â⬠The other part of the proof we need is ââ¬Å"if Q then P.â⬠Necessary and Sufficient Conditions Biconditional statements are related to conditions that are both necessary and sufficient. Consider the statement ââ¬Å"if today is Easter, then tomorrow is Monday.â⬠Today being Easter is sufficient for tomorrow to be Monday, however, it is not necessary. Today could be any Sunday other than Easter, and tomorrow would still be Monday. Abbreviation The phrase ââ¬Å"if and only ifâ⬠is used commonly enough in mathematical writing that it has its own abbreviation. Sometimes the biconditional in the statement of the phrase ââ¬Å"if and only ifâ⬠is shortened to simply ââ¬Å"iff.â⬠Thus the statement ââ¬Å"P if and only if Qâ⬠becomes ââ¬Å"P iff Q.ââ¬
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment