特称量词“有的”，“有些”，“有”只有一个基本意思，就是“至少存在一个个体”，没有别的意思。和自然语言中的“有的”意思不一样。自然语言中，譬如我们说“有人是公务员”，言外之意意味着“有人不是公务员”。逻辑学里面的“有的”绝无此意。"有些A是B",绝对推不出"有些A不是B"。可以推出”有些B是A“倒是真的。
