全称記号（任意の〜）と存在記号（ある〜）について

「任意の」とは「全ての」という意味です。例えば，

任意の実数 $x$ に対して，$x^2\geq 0$

のように使います。

$\forall$ という記号は「任意の」を表します。 $\forall$ のことを全称記号と言います。

例えば，上の例は $\forall$ を使うと

$\forall x\in \mathbb{R}$，$x^2 \geq 0$

と書くこともできます。

ただし，$\mathbb{R}$ は実数全体の集合を表します。

一方，$\exists$ という記号は「ある（〜〜が存在する）」と言う意味を表します。 $\exists$ のことを存在記号と言います。

$\exists x\in \mathbb{C}$ ，$x^2 < 0$

（ある複素数 $x$ が存在して，$x^2 < 0$ ）

のように使います。

ただし，$\mathbb{C}$ は複素数全体の集合を表します。

$\forall$ と $\exists$ という記号は高校数学では使いませんが，大学に入るといきなり登場します。

$\forall$ は「任意の」と読む人が多いです。texでは\forallと打ちます。Allの頭文字Aをひっくり返した形です。

$\exists$ はtexでは\existsと打ちます。Existの頭文字Eをひっくり返した形です。

「任意の〜〜に対して◯◯である」の否定は「ある〜〜が存在して◯◯でない」です（非常に重要です，理解できない人は理解できるまでしつこくゆっくり考えて下さい）。

つまり，$\forall$ または $\exists$ を含む命題の否定を作るには， $\forall$ と $\exists$ を交換して後ろの命題を否定すればよいというわけです。慣れれば素早く否定命題を作れるので便利です（与えられた命題の否定を素早く作ることは背理法や対偶法で証明する際に重要になります）。

解析学におけるイプシロンデルタ論法では $\forall$ ，$\exists$ が連発します。