Tidak ada

Tidak ada nilai yang membuat syarat berikutnya benar.

Simbol ini berupa ∃ (“ada”) dengan garis miring yang menyangkalnya. ∄x P(x) dibaca “tidak ada x yang membuat P(x) benar”. Di sini, x adalah nilai yang mungkin, sedangkan P(x) adalah syarat yang diuji. Ini disebut kuantor eksistensial yang dinegasikan: tidak satu pun nilai yang diperbolehkan memenuhi syarat. Dalam logika klasik, maknanya setara dengan ¬∃x P(x) dan ∀x ¬P(x); ¬ berarti “tidak” dan ∀ berarti “untuk setiap”.

Contohnya, ∄x ∈ ℝ (x² = −1) menyatakan “tidak ada bilangan real x yang kuadratnya −1”. ∈ ℝ membatasi x pada bilangan real, yaitu bilangan pada garis bilangan biasa. Batasan ini penting: dalam bilangan kompleks, yang mencakup i dengan i² = −1, persamaan tersebut memiliki solusi.