双条件文とは？

そうじょうけんぶん

「P ならば Q、かつ Q ならば P」、つまり P と Q が同じ真偽値を持つときに真となる命題です。

双条件文（biconditional）は「P ↔ Q」と表記され、P と Q の真偽値が一致するとき（両方真または両方偽のとき）のみ真となる論理演算である。「P と Q は同値である」「P は Q の必要十分条件である」とも言い換えられる。数学の定義や定理において「〜であるための必要十分条件は〜」という表現として頻繁に登場する。