English Dictionary

second-order logic

名詞

不可算名詞 通常

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

日本語の意味

第一階層論理（ファーストオーダーロジック）を拡張し、対象間の関係に対する量化を許す形式体系。

second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.

二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。

意味（1）

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

second-order logics （ plural ）