“有的P不是S”。“有的S不是P”意味着存在S不属于P，即S和P之间存在不匹配的个体，存在P不属于S，也就存在P不属于S，即P和S之间也存在不匹配的个体。因此，“有的S不是P”等价于“有的P不是S”。