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

翻訳|quantifier

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

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

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

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

家屋,工場,劇場,鉱山などで,内部空気を生活ないし労働に必要な状態に保つため,外気などの清浄な空気で入替えて調節すること。内部空気は,二酸化炭素で代表される呼吸排気,一酸化炭素やメタンガスで代表される...

換気の用語解説を読む