命题演算
めいだいへんさん
名詞 中級 ★★★★★意味
命題演算（propositional calculus）は、真偽値を持つ命題を論理演算子で組み合わせ、真理値表や証明体系を用いて論理的関係を解析する形式体系である。論理学の基礎を成し、数理論理、計算機科学、人工知能における推論エンジンの設計やソフトウェア検証に不可欠なツールとして広く応用される。
用例
この論理式は命题演算の範囲内で証明可能であることが確認された。
「命题演算」は古典論理学の基礎となる形式体系を指し、複雑な論理構造を解析する文脈で用いられる。
類義語
命題論理、命題計算、真値関数論理
対義語
述語論理、一階述語論理、高階論理
関連語
真理値表、論理演算子、充足可能性問題