逻辑题中,“有些是”可以推出“有些非”吗?

Question

逻辑题中,“有些是”可以推出“有些非”吗?

Answer 1

不可以推出.理由如下：
在逻辑学中,“有些是”和“有些非”分别是特称肯定命题（I）和特称否定命题（O）.二者属于下反对关系：可以同真,但不能同假.必须注意的是,逻辑学所谓的“有些是”与日常生活中所表达的意思是有区别的.比如,在日常生活中,当我们说到“有些”时,就是指的论域的一部分.而逻辑学中,“有些”却包含了“所有”这种情形.而且逻辑学所说的推出,一定是必然地推出.所以如果已知“有些是”成立,即已知特称肯定命题成立,我们能够必然推出的只能是“所有非”不成立,即全称否定命题不成立；而从全称否定命题不成立,并不能必然推出特称否定命题“有些非”是否成立.
希望能对您有用.