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

翻訳｜quantifier

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

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

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

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

今日のキーワード

五月晴れ

新暦の 4月後半から 5月の，梅雨前に日本列島が大きな移動性高気圧に覆われたときの晴天。発現期間は短い。もともとは旧暦 5月が梅雨にあたることから，梅雨の晴れ間の意味で，梅雨晴れ（つゆばれ）とも呼ばれ...

五月晴れの用語解説を読む