1 文書を見つけるための辞書。

• existential quantifier, existential operator
• 存在記号
• a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
• 少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞