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

A. 述語論理とは、数理論理学における記号的形式体系群のうち、一階述語論理、二階述語論理、無限論理などが含まれる用語です。

参考URL:https://ja.wikipedia.org/wiki/%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86