iffは何か？

Last updated at 2016-11-29Posted at 2016-11-29

iffはtypoではない

次のようなツイートを見かけました。
https://twitter.com/hsbt/status/803029203968851969

Ruby も iff という typo を直した、というのが半年に一回は来る http://bit.ly/2gN3TJz

知ってて当然のように言われているiffとは一体なんでしょう？
私は知りません。知らないものは調べたくなります。

リンク先を見ると

iff is not a typo. iff means if and only if.

if and only ifの意だそうです。

A if B で B ならば A
A only if B で AであるのはBであるときに限る（AならばB）
あわせて A if and only if B

英語では、必要十分条件のことをif and only ifと言うようです。

「if and only if」を略して、iff ともいう

数学の世界ではiffと略すそうです。

半年に一回も、誤解して手を動かしちゃう人がいるならif and only ifに書き直した方が多くの人が幸せになれそうな気もします。一方、FORTRANみたいに特定の分野の人しか使わないプログラミング言語であれば、iffの方が通りが良さそうです。