述語論理（Predicate Logic）は、論理学の一分野で、命題の内部構造を分析するための形式的なシステムです。命題は、特定の対象に関する情報を表現するために、述語と対象を組み合わせて構成されます。これにより、より複雑な論理的関係を表現することが可能になります。 述語論理は、数学やコンピュータサイエンス、哲学などの分野で広く利用されています。特に、人工知能やデータベースの分野では、情報の正確な表現と推論を行うための基盤として重要です。