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

翻訳|quantifier

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

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

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

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

生まれて初めての恋。[補説]書名別項。→初恋[類語]恋・恋愛・愛恋あいれん・愛・恋情れんじょう・恋慕れんぼ・思慕しぼ・眷恋けんれん・色恋いろこい・慕情ぼじょう・恋心・狂恋・悲恋・片恋・片思い・岡惚れ・...

初恋の用語解説を読む