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

翻訳|quantifier

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

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

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

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

関連語をあわせて調べる

今日のキーワード

ポスティングシステム

《「入札制度」の意》日本の球団に所属するプロ野球選手が、米国メジャーリーグへ移籍するための制度の一。所属球団の許可を得た選手のみが対象となる。所属球団は2000万ドルを上限に譲渡金を設定し、獲得を望む...

続きを読む

コトバンク for iPhone

コトバンク for Android