求赐教:两道简单的逻辑联结词-量词的题命题极为相似,不知为何它们的否定却不同,

问题描述:

求赐教:两道简单的逻辑联结词-量词的题命题极为相似,不知为何它们的否定却不同,
命题1:有的三角形是直角三角形.
否定:所有的三角形都不是直角三角形.
命题2:有的三角形的三条边相等.
否定:所有的三角形的三条边不全相等.
请问为什么第一个否定是"都不是",第二个否定却是"不全"而不是"全都不"呢?实在是被搞懵了.

命题二的否定,可以这样看
所有的三角形不是三条边相等
不是三条边相等,的意思就是 三条边不全等了
所以可以写成 .
所有的三角形的三条边不全相等.