原命题是一个存在性陈述，可以用逻辑符号表示为：
x(P(x))
其中 P(x) 是谓词“x是正方形”，而 x 是四边形的域。存在性陈述的否定是一个全称陈述。具体来说，x(P(x)) 的否定是：
x(P(x))用通俗的语言来说，这意味着是：“对于所有四边形，它不是正方形。”因此，命题的否命题是：
所有四边形都不是正方形。


【 在 weiminglake 的大作中提到: 】
: 原命题是“有的四边形是正方形”其否定命题，下面哪个最标准？（或者表述最规范）1、没有四边形是正方形2、不存在正方形的四边 ...
--
FROM 167.220.233.*