若“有S是P”为真，则。“有S不是P”取值为假。