1 定義
真理値は、命題や論理式が真か偽かを示す論理学の基本的な値である。日常語の「本当」「うそ」に近い面を持つが、論理学では感覚的な評価ではなく、形式的な判定結果として扱われる。推論の各段階で、ある文が成立するかどうかを整理するための基礎概念でもある。
1.1 真理値の意味
真理値は、ひとつの文が世界の状態や与えられた解釈のもとで成立するか否かを表す。通常は「真」と「偽」の二つで説明されるが、重要なのは数そのものではなく、文の成立状況を区別する役割にある。論理式に値を与えることで、複雑な推論も機械的に扱いやすくなる。
1.2 命題との関係
真理値は、命題に対して与えられる。命題とは、真偽を判定できる文のことであり、意味があっても真偽を定められない表現は通常これに含めない。したがって、真理値は命題の性質というより、命題がもつ評価結果として理解される。
1.3 真偽の判定
真偽の判定は、文そのものだけでなく、前提や解釈、場合によっては変数への代入に依存する。数学では証明や反証によって、計算機科学では入力や状態に応じて判定されることが多い。単純な文では直感的に決められるが、複雑な論理式では形式的手続きが必要になる。
2 論理体系における真理値
真理値の扱いは、採用する論理体系によって異なる。最も広く知られるのは二値論理だが、未確定の情報を表すために多値論理を用いる体系もある。さらに、古典論理とは異なる基準で真偽を扱う直観主義論理のような立場も存在する。
2.1 二値論理
二値論理では、各命題は真か偽のどちらか一方をとる。古典論理の標準的な枠組みであり、数学や基礎論の多くの場面で使われる。排中律が基本的に成り立つため、真偽の区別が明快で、演算規則も整然としている。
2.1.1 真
「真」は、命題が成立している状態を指す。数学では証明された命題、回路では出力が有効な状態、プログラムでは条件が満たされた場合などに対応する。論理計算では通常 1 や T で表されることが多い。
2.1.2 偽
「偽」は、命題が成立していない状態を示す。証明不能という意味と完全に一致するわけではないが、二値論理では真でないことが偽として扱われる。表記としては 0 や F が用いられ、否定との結びつきが強い。
2.2 多値論理
多値論理は、真と偽に加えて第三の値、あるいはそれ以上の値を導入する体系である。情報が不足している場合や、評価が一意に定まらない場面を表現しやすい。データベースや形式仕様など、実務的な事情から採用されることもある。
2.2.1 未定義
未定義は、式の値がそもそも与えられていない、あるいは定められない状態を表す。たとえば、分母が0になる計算や、参照先が存在しない状況を記述する際に現れる。論理体系によっては、真偽の外側に置かれる特別な値として扱われる。
2.2.2 不確定
不確定は、現時点では真偽が決められない状態を指す。情報が不足している、観測結果が未到着である、といった場面に対応しやすい。未定義と似ているが、前者が値を与えられない状況であるのに対し、後者は評価が保留されている点に特徴がある。
2.3 直観主義論理
直観主義論理では、命題の真理値を古典論理のように単純な二分法では扱わない。命題が真であるとは、その主張を構成的に示せることを意味し、証明の存在が重視される。排中律が一般には認められないため、真理値の理解も「証明可能性」に強く結びつく。
3 真理値を用いる演算
真理値は、論理演算によって組み合わされる。基本演算の規則を定めることで、複数の命題から新しい命題の真偽を計算できる。こうした演算は真理表によって整理され、論理式の性質を体系的に調べる手段となる。
3.1 否定
否定は、命題の真偽を反転させる演算である。ある命題が真なら偽に、偽なら真に変わる。記号では ¬ や NOT で表され、もっとも基礎的でありながら、複雑な式の構成にも欠かせない。
3.2 連言
連言は、複数の命題がすべて真であるときにのみ真となる演算である。日本語では「かつ」に相当し、記号 ∧ がよく使われる。条件を厳格に結びつける働きがあり、論理式の中では絞り込みの役割を果たす。
3.3 選言
選言は、少なくとも一方が真であれば真となる演算である。「または」に対応し、記号 ∨ で示されることが多い。日常語では排他的な意味と混同されやすいが、論理学では通常、両方が真でも真とみなす。
3.4 含意
含意は、「もし前件ならば後件である」という関係を表す。前件が真で後件が偽のときのみ偽となり、それ以外では真とされるのが古典論理の基本である。直感に反する場合もあるが、数学的推論を整合的に記述するうえで重要である。
3.5 同値
同値は、二つの命題が同じ真理値をもつときに真となる。双方が真、または双方が偽であれば成立する。記号では ↔ や ≡ が用いられ、定義の言い換えや条件の等価変形を示す際に頻繁に使われる。
4 応用
真理値の考え方は、純粋な論理学にとどまらず、多くの分野で利用される。数学では証明の骨組みを支え、計算機科学では回路やプログラムの制御に直結する。形式的証明の分野では、命題の成立を厳密に追跡するための共通言語となる。
4.1 数学基礎
数学基礎では、真理値は公理系や証明論の理解に深く関わる。命題が真であることを示すには証明が必要であり、偽であることは反例や矛盾によって確認される。集合論や述語論理でも、式の評価を支える中心概念として機能する。
4.2 計算機科学
計算機科学では、真理値は条件分岐や検索、検証の基本単位である。データの存在確認や状態判定を明確に扱えるため、アルゴリズム設計の多くに組み込まれている。抽象的な論理式が、実際の処理手順に直接結びつく点が特徴である。
4.2.1 論理回路
論理回路では、真理値は電圧レベルや信号状態として実装される。AND、OR、NOT などの回路素子は、論理演算を物理的に表現したものである。集積回路設計では、真理表に基づいて複雑な機能を組み立てる。
4.2.2 プログラミング言語
プログラミング言語では、真理値は条件式や制御構文で使われる。多くの言語に true と false があり、比較演算や論理演算の結果として返される。実装によっては、整数や空値を真偽に読み替える仕組みも見られる。
4.3 形式的証明
形式的証明では、各命題の真理値を厳密な規則に従って追跡する。証明支援系では、定理を構成する過程が機械的に検査され、誤りの混入を減らせる。真理値そのものよりも、その値がどの規則で導かれたかが重視される。