述語論理

述語論理は、命題の内容をより細かく分析するために、主語（個体）と述語（性質や関係）を分離して扱う論理学である。

1.命題論理との違い：命題論理が「Aである」「Bである」という文全体の真偽のみを扱うのに対し、述語論理は「xは人間である」という述語P(x)を用い、xに具体的な個体を代入して分析する。これにより、より複雑な情報の記述が可能になる。

2.量化子の導入：すべての個体に当てはまることを示す「全称記号（∀）」と、少なくとも1つの個体が存在することを示す「存在記号（∃）」を用いるのが最大の特徴である。例えば「すべての人間は死ぬ」という自然言語を厳密な数式で表現できる。

3.実務での重要性：AIの知識表現やエキスパートシステム、プログラミング言語（Prologなど）の基盤となっている。また、関係データベースの操作言語であるSQLの背景にあるリレーショナル代数も、述語論理の考え方をベースに設計されている。論理的な矛盾のないシステムを構築するために不可欠な理論である。