English Dictionary

predicate logic

名詞

(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. / (logic) First-order logic.

日本語の意味

記号論理体系全般、すなわち一階述語論理、二階述語論理、多相論理、無限論理などの体系を含む場合がある。 / 一階述語論理

In the seminar, we explored the foundations of predicate logic and its role in proving completeness theorems.

ゼミでは、一次・二次・多ソート・無限論理といった記号的な形式体系（総称して述語論理）の基礎と、それらが完全性定理の証明に果たす役割を探りました。

意味（1）

(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.

意味（2）

(logic) First-order logic.

predicate logics （ plural ）