同値 - Wikipedia

二つの条件 p 、q に対して、「 p を満たすものは全て q も満たす 」 というとき、「 p は q である為の十分条件である 」 あるいは 「 q は p である為の必要条件である 」 という。 また、「 p は q である為の十分条件であり、q は p である為の十分条件である 」 というとき、「 p は q である為の必要十分条件である 」 あるいは 「 p と q とは同値である 」 という。 例 1[編集] ある数が４の倍数である為には、その数は少なくとも偶数である必要がある。つまり、偶数であることは、４の倍数である為の必要条件である。ただし、偶数であっても、必ずしも４の倍数であるとは限らない。 また、ある数が４の倍数である為には、その数が８の倍数であれば十分である。つまり、８の倍数であることは、４の倍数である為の十分条件である。ただし、その数が８の倍数でなくとも、必ずしも４

[masterq]

"「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。"

[ledsun]

“「if and only if」を略して、iff ともいう” なるほどー

[TaKUMA]

iff = if and only if

[InoHiro]

"iff: if and only if"

[daisuke-m]

"iff" はtypoじゃないのさね。

[YasuyukiMiura]

iff