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

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

リンク

用語の所属
∀

[再検索] [戻る]