Definition:Iff
From ProofWiki
Contents |
Definition
The logical connective iff is a convenient shorthand for if and only if.
Also see
Internationalization
Iff is translated:
| In French: | ssi | (that is: si et seulement si) | |
| In Dutch: | desda | (that is: dan en slechts dan als) | |
| In German: | gdw. | (that is: genau dann, wenn) | |
| In Greek: | ανν | (that is: αν και μόνο αν) | |
| In Portuguese: | sse | (that is: se e somente se) | |
| In Spanish: | ssi | (that is: si y sólo si) |
Historical Note
The use of iff to mean if and only if is believed to have originated with Paul Halmos.
