存在記号
existential quantifier
一階述語論理
存在汎化
存在例化
量化
全称記号
https://ja.wikipedia.org/wiki/存在記号