ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
Sovereign Military Order of Malta
monadic second-order logic
名詞
可算名詞
不可算名詞
(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.
日本語の意味
個体集合の各要素に対して、1引数の述語(単項述語)に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系
英語の意味
(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.
関連語
fraternal birth order effect
名詞
不可算名詞
The scientific observation that a man's statistical probability of being homosexual increases with the number of older brothers he has.
日本語の意味
兄弟出生順効果:男性の同性愛である確率が、年上の兄弟の数の増加に伴い統計的に高まるという科学的な観察結果
英語の意味
The scientific observation that a man's statistical probability of being homosexual increases with the number of older brothers he has.