読者です 読者をやめる 読者になる 読者になる

ちぎっては投げるブログ

Programming, Android, RaspberryPi, Digital Devices, Kinkuma Hamster...

if and only ifとは?

GitHub TIL

元ネタツイート

iifって何?

って思ったのでググった。

同値 - Wikipedia

同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。 英語ではequivalence (EQ)。「if and only if」を略して、iffともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、=、EQ などが使われる。

XNORのことらしい。XNORをif and only ifっていうのも知らなかった。

しかし、ここでは「~の場合にのみ」という意味で使っている?

調べてみると、「…の場合にのみ」という訳もある。 コードのコメントと聞いてググったので、XNORかーっと思ったが、

/// Returns `true` iff the given `index` is valid as a position, i.e. `0

が元のコメント文であることを考えると、「…の場合にのみ」だと思う。たぶん・・・。

英語難しい。