感觉描述有问题，应该是存在x∈M，使得p(x)成立。

【 在 Thulium 的大作中提到: 】
: 存在x∈M，则p(x)
: 这个命题是啥意思？
:
--
FROM 202.108.199.*