述語論理

述語論理は、命題論理を拡張し、「すべての〜について」「ある〜が存在する」といった表現を使って、対象の性質や関係を記述する論理です。

■ 試験で押さえるポイント

• 「すべての人間は死ぬ」のように、対象の範囲を表す表現（量化子）を使えます。

• AIで知識を表現したり、推論したりする基礎として使われます。

■ 選択肢での判断ポイント

命題論理より細かく、対象の性質や関係を表現できるのが述語論理です。