1
$\begingroup$

I often write my notes as logical statements and constantly wonder why people use only the "if" direction in the definitions instead of the "if and only if". Consider:

"A homomorphism $\phi$ is said to be an isomorphism if it is an injection and a surjection." would translate to:

$homomorphism(\phi) \wedge injection(\phi) \wedge surjection(\phi) \implies isomorphism(\phi)$

By adding the following statement consistent with the previous one:

$homomorphism(\phi) \wedge \neg injection(\phi) \wedge surjection(\phi) \implies isomorphism(\phi)$

we could deduce

$homomorphism(\phi) \wedge surjection(\phi) \implies isomorphism(\phi)$

which is obviously not what we intended to express in the definition, however the intention does not imply the deed.

From the strict logical perspective do you agree that all definitions of this form are "flawed" owing to the lack of the attention to details? Or is there some reason which I have not managed to observe that explains why "if" is used in lieu of "if and only if"? Would you accept if I write in papers definitions in the iff version? I.e. "A homomorphism $\phi$ is an isomorphism if and only if it is an injection and a surjection."

$\endgroup$

marked as duplicate by Old John, Git Gud, user63181, egreg, Blue Dec 14 '13 at 22:36

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 2
    $\begingroup$ To save chalk ? $\endgroup$ – Guest Dec 14 '13 at 22:20
  • $\begingroup$ The close votes reference three "duplicate" questions. I'll note that a site search for "iff definition" gives at least a couple more candidates. $\endgroup$ – Blue Dec 14 '13 at 22:38
  • $\begingroup$ I agree with you, but I think that your argument is valid only if you were in a position with all there is to know about the thing you are considering. . $\endgroup$ – CoffeeIsLife Dec 14 '13 at 22:41
1
$\begingroup$

That is a good question. It used to bother me too until I saw it in some undergraduate textbook say "following the standard convention of writing if instead of if and only if in definitions ... ", do not remember the exact wording but that is basically what the book said. Since that time this never bothered me, but whenever I teach classes I always make my definitions as if and only if statements.

$\endgroup$
  • $\begingroup$ I will do the same. $\endgroup$ – Dávid Natingga Dec 14 '13 at 22:34
-3
$\begingroup$

"If an only if" means "necessary and sufficient", which is a double implication.

"If" alone means"only if" or "sufficient", which is a single implication.

$\endgroup$
  • 1
    $\begingroup$ He is talking about definitions I think. Not necessarily theorems. $\endgroup$ – CoffeeIsLife Dec 14 '13 at 22:42

Not the answer you're looking for? Browse other questions tagged or ask your own question.