Last Updated：2025/11/23
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
predicate logic
Edit Histories（0）
Source Word
predicate logic
Noun
Japanese Meaning
記号論理体系全般、すなわち一階述語論理、二階述語論理、多相論理、無限論理などの体系を含む場合がある。 / 一階述語論理
Sense（1）
Sense（2）
（ plural ）
