>>>144のリンク先にちゃんと書かれてるよ
(前略)
記号cは論理式A(x)の変数xに代入すると真の命題になるような「何らかの値」を代表的な形で表すもの
(中略)
以下の推論規則
∃x∈X：A(x) |= A(c)
が成り立つものと定め、これを・・・存在例化（existential instantiation）などと呼びます。
(後略)

ほれ、ちゃんと書かれてるぞ不勉強君