Last Updated
：2025/11/29
monadic second-order logic
Noun
countable
uncountable
Japanese Meaning
個体集合の各要素に対して、1引数の述語（単項述語）に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系
（ plural ）
Quizzes for review
(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
Researchers often use monadic second-order logic, a formal deductive system that extends first-order logic by enabling quantification over unary predicates, to express graph properties that are inexpressible in first-order logic.
See correct answer
Researchers often use monadic second-order logic, a formal deductive system that extends first-order logic by enabling quantification over unary predicates, to express graph properties that are inexpressible in first-order logic.
音声機能が動作しない場合はこちらをご確認ください
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
