1 選言の基本
選言は、複数の命題や要素のうち、少なくとも一つが成り立つことを示す論理結合である。日常語では「または」に近く、論理学では命題同士の関係を記号的に表す基本的な構成要素として扱われる。数学や情報科学でも、条件分岐や場合分けを整理する際に重要な役割を持つ。
1.1 選言の定義
選言は、二つ以上の対象のうち一方以上が真であれば全体として成立する結合を指す。命題のレベルでは、AまたはBのように表され、A、Bのどちらか一方でも、両方でもよいという読みが可能である。したがって、単なる語の並置ではなく、成立条件を定める論理関係として理解される。
1.2 選言の種類
選言には、複数の解釈がある。代表的なのは、両方の成分を認める包含的な用法と、どちらか一方のみを認める排他的な用法である。どちらを採るかによって、式の意味や推論の結果が変わる。
1.2.1 包含的選言
包含的選言は、少なくとも一つが成り立てば真とみなす。論理学で最も標準的な選言はこの型であり、AまたはBが、Aのみ、Bのみ、両方のいずれでも成立する。実用上は、条件の幅を広く取る表現として用いられる。
1.2.2 排他的選言
排他的選言は、複数の選択肢のうちちょうど一つだけが成り立つ場合に成立する。日常会話では「AかBか」といった形で現れ、選択肢の重複を許さない。形式化するときは、包含的選言と区別して解釈する必要がある。
1.3 日常言語における用法
日常言語の「または」は、文脈によって包含的にも排他的にも読める。たとえば「飲み物は紅茶またはコーヒーです」は、両方選べる場合も、どちらか一方だけを指す場合もある。自然言語では曖昧さが残りやすく、論理式へ移す際には意味の確定が求められる。
2 論理学における選言
論理学では、選言は命題論理の基本的な演算子の一つである。真偽の組み合わせを通して命題の成立を判定し、推論規則の中でも広く用いられる。特に、複数の前提を整理したり、場合分けを扱ったりする場面で便利である。
2.1 命題論理での位置づけ
命題論理における選言は、連言や否定と並ぶ基礎的な論理結合子である。記号論的には、二つの命題を結び、全体の真偽を一つの命題として扱えるようにする。これにより、複雑な議論を形式的に分析しやすくなる。
2.2 選言命題の真理値
選言命題の真偽は、成分命題の真偽の組み合わせから決まる。包含的選言では、少なくとも一方が真ならば全体が真となる。両方が偽のときのみ、選言全体が偽になる。
2.2.1 真理値表
真理値表では、AとBの各場合に対してA∨Bの値を列挙する。Aが真、Bが偽でも真、Aが偽、Bが真でも真、両方が真でも真である。偽になるのは、両方が偽のときだけである。
2.2.2 真偽条件
選言の真偽条件は、少なくとも一つの構成要素が真であることに要約される。この条件は単純だが、証明や推論では極めて有用である。特に、否定との組み合わせで全体の成立条件を明示しやすい。
2.3 選言に関する推論規則
選言は、前提から新しい命題を導く際の規則にも関わる。ある命題が真なら、それを含むより広い選言命題を導ける。また、選言を前提にした推論では、複数の可能性を分けて考える手法が使われる。
2.3.1 選言導入
選言導入は、ある命題が成り立つなら、その命題を含む選言も成り立つと認める規則である。たとえばAが真ならAまたはBを導ける。これは、成立する条件を広げる方向の推論である。
2.3.2 選言三段論法
選言三段論法は、AまたはBが成り立ち、Aが成り立たないなら、Bが成り立つと結論する推論である。直観的で使いやすく、論証の整理に役立つ。排他的でない選言に対しても、条件が整えば有効に用いられる。
3 数学における選言
数学では、選言は場合分けや存在条件の記述に広く使われる。定理の証明では、「AまたはB」の形で論点を分割し、それぞれを別々に処理することが多い。抽象代数や集合論でも、選言的な構造は基本概念の整理に貢献する。
3.1 集合論との関係
集合論では、要素が複数の集合のどれかに属することを選言的に表せる。和集合は、少なくとも一方の集合に属する要素全体を集めたものであり、選言の発想と近い。こうした対応により、論理と集合のあいだに明確な対応関係が見いだされる。
3.2 ブール代数での表現
ブール代数では、選言は論理和として表される。演算は記号的に簡潔で、回路設計や計算機科学の基礎にもなっている。代数的な枠組みに移すことで、論理式の変形や簡約が体系的に行える。
3.3 証明における選言
証明では、選言は場合分けの入口になる。対象が複数の可能性のいずれかに属するなら、それぞれのケースを個別に検討して結論を示す。これにより、直接証明が難しい問題でも、構造を分解して扱いやすくなる。
4 関連概念
選言は、他の論理結合子と比較することで意味がより明確になる。特に、連言、含意、そして記号表記の違いを押さえると、論理式の読み取りが安定する。自然言語と形式言語の差にも注意が必要である。
4.1 連言との対比
連言は、複数の命題が同時に成り立つことを表す。これに対し、選言は少なくとも一つが成り立てばよいので、条件の強さが異なる。連言は「かつ」、選言は「または」と対応づけられることが多い。
4.2 含意との関係
含意は、ある命題が真なら別の命題が真になるという関係を表す。選言と含意は直接同じではないが、証明や論証の中で相補的に使われる。特に、場合分けの論法では、選言によって前提を分岐させたうえで含意を導くことがある。
4.3 選言の記号と表記法
選言は、一般に∨で表される。数学や論理学では、この記号が最も広く用いられるが、分野や文献によっては言い回しや記法に差がある。記号の意味を確認しておくことは、式の誤読を避けるうえで重要である。
</INTERNAL_LINK_CANDIDATES> 命題論理（命題の真偽を扱う論理体系） 真理値表（命題の真偽の組み合わせを一覧化した表） 推論規則（前提から結論を導くための形式的な規則） 選言導入（ある命題から、その命題を含む選言を導く規則） 選言三段論法（選言と否定から一方の結論を得る推論形式） 集合論（集合と要素の関係を扱う数学分野） 和集合（複数の集合の少なくとも一方に属する要素の集合） ブール代数（論理値を代数的に扱う体系） 論理和（選言に対応するブール演算） 連言（複数命題が同時に成り立つことを表す結合） 含意（ある命題が別の命題を導く関係） 否定（命題の真偽を反転させる論理演算） 場合分け（条件ごとに分けて考える証明・分析方法） 論理結合子（命題を組み合わせる演算子）