Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 5 down vote favorite
1

I can never figure out (because the English language is imprecise) which part of "if and only if" means which implication.

(A if and only if B) = (A <=> B), but is the following correct:

(A only if B) = (A => B)

(A if B) = (A <= B)

The trouble is, one never comes into contact with "A if B" or "A only if B" using those constructions in everyday common speech.

share|improve this question
2  
I'm not sure if this is a genuine question or not, but in case it is: A (must hold) if B (does). A (can hold) only if B (does). This makes it pretty unambiguous. – Matt E Aug 1 '10 at 4:36
The number of people who got this wrong when I marked introductory logic exams was unbelievable... – Seamus Sep 8 '10 at 12:21
Unambiguous, I think. But surely, confusing! – Srivatsan Sep 3 '11 at 0:49

2 Answers

up vote 5 down vote accepted

I wouldn't say that I never come into contact with those phrasings--they are certainly rare in technical use, but perhaps more common in plain language. Below is a table of equivalent phrasings of p=>q, from UCSMP Precalculus and Discrete Mathematics, 3rd ed., © 2010 Wright Group/McGraw Hill (Lesson 1-5).

table

share|improve this answer
Certainly the last box of the right column is not true! I intend to accept this answer when it becomes possible to do so, however. – user126 Jul 29 '10 at 11:01
The last box of the right column is logically equivalent to the rest of the statements in the column--the relationship between necessary/sufficient conditions and if/only-if can be difficult to get a handle on. – Isaac Jul 29 '10 at 11:07
Ah, I was replacing "condition" with "motivation" in the two bottom right boxes. – user126 Jul 29 '10 at 11:18
1  
Some of those statements are not a way that anyone would speak or would expected to understand. To make it (a bit) more natural, I would have written the following. For "p only if q", I would use: "You have applied early only if you have increased your chance of receiving aid". For q is a necessary condition for p, I would write: "Having increased your chance of receiving aid is a necessary condition for having applied early" or "is a necessary consequence of having applied early". – Casebash Jul 29 '10 at 13:54
@Casebash: While it's less of an issue in the table, in the context of the lesson as a whole, the change in tense would have been problematic. (Also, given that this is in Chapter 1 of a high school book, applying early and financial aid are both in the future for the student.) – Isaac Jul 29 '10 at 14:04
show 4 more comments
up vote 8 down vote

This example may be more clear, because apples ⊂ fruits is more obvious:

"This is an apple if it is a fruit" is false.
"This is an apple only if it is a fruit" is true.
"This is a fruit if it is an apple" is true.
"This is a fruit only if it is an apple" is false.

A is an apple => A is a fruit

share|improve this answer
'"This is an apple only if it is a fruit" is true.' well being a fruit isn't the only thing that makes an apple an apple. – user10389 Aug 9 '12 at 22:00
@user10389 You're confusing "only if" with "if and only if". The former implies the possibility of further neccessary requirements, while the latter is considered an equivalence. – Arthur Aug 11 '12 at 1:00

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.