述語論理

述語論理とは、物事の性質や関係性を「述語」を使って表現し、論理的な推論を行うための形式論理学の一分野です。例えば「AはBである」「AはBを愛している」といった文を、変数と述語の組み合わせで論理的に記述します。命題論理よりも詳細な事柄を扱えるため、人工知能の知識表現やデータベースの検索条件、プログラムの検証などで広く活用されています。

仕組みとして、「すべての（全称量化子）」や「存在する（存在量化子）」といった量化子を用います。これにより、「すべての人間は死ぬ」や「ある学生はプログラミングができる」といった複雑な命題を論理式で記述できます。コンピュータは、この論理式を推論エンジンに入力することで、与えられた前提条件から新しい事実を導き出すことができます。

試験では、命題論理との違いがポイントです。命題論理は文章全体を一つの真偽値として扱いますが、述語論理は文章を分解して構造的に扱います。ITパスポート試験や基本情報技術者試験では、論理演算の理解を問う問題の中で、論理的な思考プロセスや、データベースのSQLなどが述語論理に基づいているという背景知識が問われます。