命题演算

命題演算（propositional calculus）は、真偽値を持つ命題を論理演算子で組み合わせ、真理値表や証明体系を用いて論理的関係を解析する形式体系である。論理学の基礎を成し、数理論理、計算機科学、人工知能における推論エンジンの設計やソフトウェア検証に不可欠なツールとして広く応用される。