existential operator マイ単語帳に追加

存在記号

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true.

少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞。