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

翻訳|quantifier

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

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

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

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

今日のキーワード

苦肉の策

敵を欺くために、自分の身や味方を苦しめてまで行うはかりごと。また、苦しまぎれに考え出した手立て。苦肉の謀はかりごと。「苦肉の策を講じる」...

苦肉の策の用語解説を読む

コトバンク for iPhone

コトバンク for Android