用語説明

一階述語論理

内部構造を持つ命題を用いた論理的推論を可能とする,論理の記述形式。