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

翻訳|quantifier

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

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

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

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

ガラス管球内に入れた高抵抗線に電流を流し,ジュール熱によって高温となり放射する光を利用するもの。抵抗線としてはタングステンが用いられ,その蒸発を防ぐためアルゴンおよび窒素ガスが管内に約 0.7気圧封入...

白熱電球の用語解説を読む