Last Updated：2025/11/29
(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
monadic second-order logic
Edit Histories（0）
Source Word
monadic second-order logic
Noun
countable
uncountable
Japanese Meaning
個体集合の各要素に対して、1引数の述語（単項述語）に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系
（ plural ）
