めいだいろんり

デジタル大辞泉

めいだい‐ろんり【命題論理】

読み方：めいだいろんり

記号論理学の基礎的部門。個々の命題を結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号を用いて論理積（＞）・論理和（＜）・含意（→）・否定（〜）などにより記号化して演算形式に表し、複合された命題を研究する学問。命題計算。

OR事典

命題論理

読み方：めいだいろんり
【英】：propositional logic

真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を (連言)や (選言), (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.