逻辑中有的s是p有逆否么