有些S不是P,换位推理就算不成立,应该换位成什么