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

翻訳｜quantifier

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

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

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

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

今日のキーワード

凍返る

春になって暖かくなりかけた頃、急に寒さが戻って、地面などがまた凍りつく。《 季語・春 》[初出の実例]「七瀬御秡 同晦日也。〈略〉雪汁いてかへる」(出典：俳諧・誹諧初学抄（1641）初春)...

凍返るの用語解説を読む

コトバンク for iPhone

AppStore

コトバンク for Android

GooglePlay