一階述語論理とはなんですか？

ページ名：一階述語論理とはなんですか？

A. 階述語論理とは、述語論理の一種で、個体の数量化のみを許す論理体系です。具体的には、述語（関数や関係を表す言葉）が表す対象が、個体に限定されます。これにより、述語論理が持つ一般的な性質（論理結合性や論理包含性など）の一部が失われますが、一方で、個体の数量化という特異な性質を持つ論理体系となります。