コトバンクはYahoo!辞書と技術提携しています。

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

翻訳|quantifier

ブリタニカ国際大百科事典 小項目事典の解説

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

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

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