漫游猫认证
数学符号E倒过来写代表∃,代表存在量词符。
∃为存在量词符,它表示它后面是一个特称命题,相当于a/an/some。当存在量词符∃后面跟有以x为变量的公式时,可写作(∃x),读作“存在x/至少有一个(一些)x”,例如,(∃θ)θ=2π表示至少存在一个θ等于2π。