第3章：同値性（if and only if）――双方向の「if」
――論理的対称性と真理の同一性が描く地平
3.1 論理の均衡：双方向の「if」
二つの事柄 と があり、それがお互いにお互いを完全に規定し合っている状態を、数学では「同値（Equivalence）」と呼ぶ。記号では と書き、言葉では「 は であるための必要十分条件である」、あるいは英語の if and only if を略して 「 iff 」 と表現する。
この「同値」という状態は、論理学における「均衡」であり、かつ「同一性」の極致である。
3.2 数学的定義の本質：ラベルと中身の合意
数学において「定義（Definition）」という行為は、その本質において常に同値関係の構築である。
- 例： 「整数 が 2 で割り切れるとき、 を偶数という」 この一文は、論理的には「 が偶数 が 2 で割り切れる」という双方向の橋を架けている。定義において双方向性が求められるのは、言葉を「交換可能な通貨」として機能させるためである。
3.3 方程式の力学：同値変形という「翻訳」
方程式を解くという作業は、一連の「同値変形」の連鎖である。
- この矢印 が維持されていることが、計算の正当性を担保している。もし途中で一方通行の が混じれば、最終的に得られた解が元の式を満たさない「無縁根」を生む可能性がある。
3.4 判定法（Criterion）：数学者の野心
数学において「～の判定法（Criterion）」と呼ばれるものは、すべて「必要十分条件」の探求の結果である。 数学者が一方通行の矢印 を発見したとき、彼らの次なる野心は常に、その逆 をも成立させるための「パズルの最後のピース」を見つけ出すことに向けられる。同値性を手に入れるということは、目に見えない真理を、手元にあるデータだけで完全に代弁させる力を得るということなのだ。
3.5 同値の真理値表：二つの嘘が一致する場所
改めて、同値（）の真理値表を見てみよう。
| 真 (T) | 真 (T) | 真 (T) |
| 真 (T) | 偽 (F) | 偽 (F) |
| 偽 (F) | 真 (T) | 偽 (F) |
| 偽 (F) | 偽 (F) | 真 (T) |
注目すべきは第4行である。 も も「偽」であるとき、その同値関係は「真」となる。これは、二つの命題が「真理値という属性において完全に一致している」という事実を肯定している。二つの間違いが同じように間違っているとき、そこには一種の対称性が宿るのである。
3.6 第3章の結語：情報の圧縮と洗練
二つの命題が で結ばれたとき、私たちは情報の「劇的な圧縮」に成功したと言える。もはや二つを別々に考える必要はない。一方を知れば、他方のすべてを知ったことになるからだ。この対称性こそが、数学が目指す「洗練」の正体である。
しかし、数学という大伽藍には、この対称性すら通用しない、さらに奇妙で孤独な「if」の姿が隠されている。次章では、論理学の中で最も不気味で、かつ最もエレガントな概念の一つである「空虚な真（Vacuous Truth）」の世界へと足を踏み入れることにしよう。