存在x∈M,则p(x)的逆命题是个啥？

如果对于所有使得p(x)成立的x，必然存在x∈M？

p（x）→x属于M
应该是

逆命题应该是： 若 p(x)成立， 则 x∈M

请问：
存在x∈M，则p(x)
任意x∈M，则p(x)
两者的逆命题分别是什么？ @lgq2000

逆命题互换结论条件
不用考虑是不是全称量词之类的 @weiminglake

这两个逆命题是不同的 @weiminglake

存在x∈M，则p(x)
这个命题是啥意思？ @weiminglake

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

就是不太理解：存在二字要不要在逆命题的结论中。还是不要？ @lgq2000

或者：若x∈M,且p(x)不成立，则这样的x不存在？
举个实际的例子，存在x∈Z，使得x+1≤0；逆命题：若x∈Z，且x+1>0,则不存在这样的x。
？这样不知道对不。

命题是两部分， 要分割，正命题： a成立 则b成立， 逆命题： b成立 则a成立。 有些命题不好分割