選言：論理学における「または」（包括的・排他的）と生物学的分離

論理学上の種類、記法、基本的性質

命題論理学における主な形態は次のとおりである。

• 包括的選言（論理和。通常は A ∨ B と表す）は、少なくとも一方のオペランドが真であれば真となる。単位元は偽であり、交換法則と結合法則が成り立つ。
• 排他的選言（XOR。しばしば A ⊕ B と表す）は、ちょうど一方のオペランドだけが真である場合に真となる。これは法2を法とする加算のように振る舞い、結合法則と交換法則も成り立つが、A ⊕ A は偽である。
• ORゲートなどの物理的実装は、デジタル回路において包括的選言を実現する。XORゲートは、パリティおよび算術論理のために排他的選言を実装する。

論理的な選言は集合の和集合と密接に関係しており、A ∨ B は A ∪ B への所属に対応する。確率論では、選言の確率は P(A ∪ B) = P(A) + P(B) − P(A ∩ B) を満たす。ド・モルガンの法則は選言と連言を結び付け、「A または B」の否定は、「Aでない」かつ「Bでない」に等しい。

歴史と形式化

「または」という結合子の考え方は、古典論理学と三段論法による推論にさかのぼる。近代的な記号による扱いは、ORを基本的な代数演算として扱った19世紀のブール代数とともに現れた。20世紀には同じ代数的概念が電気回路に適用され、クロード・シャノンらはブール演算子がスイッチやゲートに対応することを示した。これによりデジタル計算が可能になった。

生物学的な分離と臨床的意義

細胞分裂における選言とは、減数分裂では相同染色体が、体細胞分裂では姉妹染色分体が秩序立って分離することをいう。正しい分離により、各娘細胞は適切な染色体組を受け取る。不分離は分離が失敗する事象であり、染色体の欠失または過剰をもつ細胞を生じることがある。代表例には、21トリソミー（ダウン症候群）および性染色体異数性が含まれる。

用法、例、重要な区別

自然言語における「または」は、包括的解釈と排他的解釈の間で曖昧な場合があるが、通常は文脈と語用論的な手掛かりによって意図された意味が定まる。コンピューティングでは、包括的ORは条件判定と制御フローに用いられ、XORは誤り検出、パリティ検査、および特定の暗号構成に不可欠である。論理結合子と関連用語の導入については、論理学および論証に関する一般的な資料を参照。

重要な区別は、包括的ORでは両方のオペランドが同時に真であることを認めるのに対し、排他的ORでは両方が同時に真であることを認めない点である。どちらの形態にも証明や回路設計で有用な代数法則があり、論理学以外での「選言」は、生物学における染色体の分離のように、より文字どおりの分離という意味を担うことが多い。