逻辑中的“不都是”可以理解为“有的是有的不是”吗?我自己是这样认为的,“不都是”应该是在肯定了“是”的基础上的否定,例如那位朋友举例说的,玫瑰不都是红色的.那么我们是可以理

Question

逻辑中的“不都是”可以理解为“有的是有的不是”吗?
我自己是这样认为的,“不都是”应该是在肯定了“是”的基础上的否定,例如那位朋友举例说的,玫瑰不都是红色的.那么我们是可以理解为,这是先肯定了有些玫瑰是红色的.然后有些玫瑰不是红色的,最后才得出结论玫瑰不都是红色的.然后我们回过头来发现“有的玫瑰是红色的,有的玫瑰不是红色的”这也就是我说的“有的是有的不是”这个结论.

Answer 1

在逻辑学中,带有“不都是”的命题称为特称否定命题,其形式：有些S不是P.表示：有些不是.理解为：至少有一个不是.
例如：玫瑰不都是红色的.表达：有些玫瑰不是红色的.
不是所有的天鹅都是白的.表达：有些天鹅不是白色的.
其中“有些”在逻辑学中作为特称量项,指的是“ 至少有些”、“至少有一个”,究竟有多少不确定,也许有一个,也许有几个,也许所有.