A-1アルゴリズム・プログラミング · 情報理論

命題論理

Propositional Logic

めいだいろんり

命題を最小の単位とし、論理積、論理和、否定、含意などの論理演算子で組み合わせた命題の真偽を扱う論理の体系。真理値表を使って複合命題の真偽を調べられる。命題の内部の構造まで扱う述語論理の基礎になる。

共有:

他の資格での定義

真か偽のいずれかの値を持つ命題と、論理演算子（AND、OR、NOT、含意など）を用いて命題間の関係を表現・推論する体系。論理式の真偽を判定する真理値表が基本的なツールとなる。

真または偽の値をとる命題と、否定・論理和・論理積・含意などの論理結合子で構成される論理体系。真理値表を用いて論理式の真偽を判定でき、デジタル回路設計やプログラムの条件式の基盤となる。

真（1）と偽（0）の2つの値を対象とする演算。論理積（AND）、論理和（OR）、否定（NOT）、排他的論理和（XOR）などがあり、結果を真理値表で表す。論理回路の設計、ビット単位のデータ処理、検索条件の指定などに使われる。

一般的な規則や前提から、論理の規則に従って個別の結論を導く推論。「すべての人間は死ぬ」「ソクラテスは人間である」から「ソクラテスは死ぬ」を導く三段論法が典型で、前提が正しければ結論も必ず正しい。新しい知識は生まれないが確実で、ルールベースのエキスパートシステムの推論に使われる。

事実と規則を述語論理の形で記述し、処理系がそれらから推論して問いに対する答えを導くプログラミングの方式。処理の手順を書く手続型と違い、何が成り立つかを書く。Prologが代表的な言語で、エキスパートシステムなどの人工知能の分野で使われてきた。