|
ラテン文字の「Ǝ」とは異なります。 |
存在記号(そんざいきごう、existential quantifier)とは、数理論理学(特に述語論理)において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「∃」と表記され、存在量化子(そんざいりょうかし)、存在限量子(そんざいげんりょうし)、存在限定子(そんざいげんていし)などとも呼ばれる。この記号(∃)は1897年にジュゼッペ・ペアノによって導入された[1][2]。
∃
これとは対照的に全称記号は、全てのメンバーについての量化である。