Last Updated：2025/11/19
(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
.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
existential quantifier
Edit Histories（0）
Source Word
existential quantifier
Noun
Japanese Meaning
存在量化子: 論理学における述語論理で、記号 ∃ を用いて、ある述語が特定の集合の少なくとも一つの要素について成立することを示す記号。口語表現では「存在する」「有る」などと訳される。
（ plural ）
