存在記号
from 量化
存在記号
∃ - Wiktionary, the free dictionary
Description
A horizontally reversed capital letter E.
Etymology
Introduced by Giuseppe Peano in Formulaire de mathematiqués (1897), from the uppercase Latin letter E. The modern variable-binding syntax first appeared in Principia Mathematica (1910).
Symbol
∃
(mathematics, logic) The existential quantifier, meaning "there exists (at least one)".
(数学、論理) 「(少なくとも 1 つ) 存在する」を意味する存在量化子を表すために使用される記号。
the existential quantifier
存在量化子
"there exists (at least one)"
存在記号 - Wikipedia