双条件文 ↔ の性質と使い方｜記号論理学における同値

同値（equivalence）は「p であることと q であることは同じ」を表す論理結合子です。双条件文（biconditional）とも呼ばれ、数学の定義や「必要十分条件」を表現する際に重要な役割を果たします。

同値の定義

同値は「p ならば q、かつ q ならば p」を意味し、記号では p ↔ q と書きます。p ⇔ q と書くこともあります。

同値 p ↔ q は、p と q の真理値が一致するときに限り真になります。

p と q がともに真でも、ともに偽でも、同値は真になります。一方、片方だけが真の場合は偽になります。

同値は、2つの含意の連言として定義できます。

p ↔ q ≡ (p → q) ∧ (q → p)

「p ならば q」と「q ならば p」の両方が成り立つとき、p と q は同値です。これは「p は q であるための必要十分条件である」という表現に対応します。

p → q（十分条件）

p が成り立てば q も成り立つ。p は q の十分条件。

q → p（必要条件）

q が成り立てば p も成り立つ。p は q の必要条件。

両方が成り立つとき、p は q の必要十分条件となり、これが同値です。

同値にはいくつかの重要な性質があります。

反射律が成り立ちます。任意の命題 p に対して、p ↔ p は常に真です。

対称律が成り立ちます。p ↔ q と q ↔ p は常に同じ真理値を持ちます。

推移律も成り立ちます。p ↔ q が真かつ q ↔ r が真ならば、p ↔ r も真です。

p ↔ q が真

q ↔ r が真

p ↔ r が真

これらの性質は、同値関係が数学でいう「同値関係」の条件を満たすことを示しています。

同値は、否定・連言・選言を使って次のようにも表現できます。

p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)

これは「p も q も真、または p も q も偽」という意味で、真理値が一致する場合を直接表現しています。

また、排他的選言の否定としても表現できます。

p ↔ q ≡ ¬(p ⊕ q)

排他的選言 p ⊕ q は「ちょうど一方だけが真」なので、その否定は「両方とも真か両方とも偽」、すなわち同値になります。

数学では「A と B は同値である」「A は B であるための必要十分条件である」「A ⇔ B」といった表現が頻繁に登場します。

たとえば「n が偶数であることと、n² が偶数であることは同値である」という命題があります。これは、n が偶数ならば n² も偶数であり（十分条件）、n² が偶数ならば n も偶数である（必要条件）ことを主張しています。

定義における同値

「素数とは、1 と自分自身以外に約数を持たない 2 以上の自然数である」のように、概念を規定する。

定理における同値

「f が連続であることと、任意の開集合の逆像が開集合であることは同値」のように、異なる特徴づけが等価であることを示す。

数学の定義は、同値を使って表現されることが多いです。「x が偶数であるとは、ある整数 k が存在して x = 2k となることである」という定義は、「x が偶数 ↔ ∃k(x = 2k)」と形式化できます。

このように、同値は概念間の本質的な関係を表現する強力なツールです。次回は、これまで学んだ論理結合子を使って真理値表を作る方法を詳しく学びます。