∃

存在記号。数理論理学において、ある条件を満たすものが少なくとも一つ存在することを表わす。

この条件と対照的なものが全称記号の∀で、何かが常に真であることを表わす。