English Dictionary

existential quantifier

名詞

(logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".

日本語の意味

存在量化子: 論理学における述語論理で、記号 ∃ を用いて、ある述語が特定の集合の少なくとも一つの要素について成立することを示す記号。口語表現では「存在する」「有る」などと訳される。

In the proof, the mathematician introduced the existential quantifier to assert that there is at least one solution.

証明では、数学者は少なくとも一つの解が存在することを主張するために存在量化子を導入した。

意味（1）

(logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".

existential quantifiers （ plural ）