述語論理（Predicate Logic、一階述語論理）は、命題論理を拡張し、変数・述語・量化子を扱える論理体系です。命題論理だけでは表せない「すべて」「ある」を含む文を形式化できます。
| 要素 | 記号 | 読み | 例 |
|---|---|---|---|
| 全称量化子 | ∀ | すべての | すべての人間は死ぬ |
| 存在量化子 | ∃ | ある（存在する） | ある自然数は素数である |
| 述語 | P(x) 等 | 〜である | 「x は素数」 |
単純な真偽だけを扱う 命題（命題）論理に対し、述語論理は「対象についての性質」を変数で扱えます。数学の基礎・人工知能の知識表現・データベース理論などの根幹となる理論です。
試験では 量化子 ∀（すべての）・∃（ある）の意味と、命題論理との違いが問われます。
