限定作用素（読み）げんていさようそ（その他表記）quantifier

翻訳｜quantifier

ブリタニカ国際大百科事典 小項目事典 「限定作用素」の意味・わかりやすい解説

限定作用素
げんていさようそ
quantifier

限量という訳語もある。数理論理学で基本的な，「すべての x∈A で P(x) 」という全称 ∀xP(x)と，「どれかの x∈A で P(x) 」という存在 ∃xP(x)をいう。∀は「任意の arbitrary」のAから，∃は「存在する exist」のEからきている。

出典　ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について　情報

今日のキーワード

春隣

〘 名詞 〙 春の季節がもうすぐそこまで来ていること。《 季語・冬 》 〔俳諧・俳諧四季部類（1780）〕[初出の実例]「盆栽の橙黄なり春隣〈守水老〉」(出典：春夏秋冬‐冬（1903）〈河東碧梧桐・高...

春隣の用語解説を読む

コトバンク for iPhone

AppStore

コトバンク for Android

GooglePlay