命題論理とは？
めいだいろんり
命題論理とは、真か偽かのどちらかの値をもつ「命題」を記号で表し、論理的な推論の規則を形式的に扱う数学・論理学の体系です。
命題論理（命題計算・古典命題論理とも呼ばれる）とは、真（true）か偽（false）の二値をとる文を命題と呼び、その命題を論理結合子で組み合わせて複合的な文を作り、その真偽を形式的に評価する論理体系です。
主な論理結合子には以下があります。
- 否定（¬ / NOT）：「AでないならばB」のように命題の真偽を反転させる。
- 連言（∧ / AND）：両方が真のときのみ真。
- 選言（∨ / OR）：少なくとも一方が真なら真。
- 含意（→ / ならば）：前件が真で後件が偽の場合のみ偽。
- 同値（↔ / 双条件）：両辺の真偽が一致する場合に真。
命題論理の主要な道具として真理値表があります。変数の取りうるすべての真偽の組み合わせに対して複合命題の真偽を書き下す表で、論理式が常に真となる「トートロジー」であるかどうかを機械的に確認できます。
命題論理は述語論理（個体と量化子を含む、より強力な体系）の基礎となっており、プログラミング言語の条件分岐・デジタル回路設計・人工知能における知識表現など、幅広い分野で応用されています。数学的証明の骨格を厳密に捉える手段としても不可欠な体系です。
使い方・例文
「今日は雨が降っている（A）かつ傘を持っていない（B）ならば濡れる（C）」という推論を記号で書き、真理値表を使って結論が確かに導けるか確認する場面で命題論理が使われます。
この用語をシェア
最終更新: