能用换位法推理的当然是得能从原命题判断出换位命题的真值才可以，简单来说，SAP可以推出PIS，但SAP推导不出POS,两个命题不等值，因为存在P和S周延相同的情况

比如 所有番茄都是别名叫做西红柿的蔬果

有些别名为西红柿的蔬果不是番茄

第二个命题真值为假