在逻辑上，SAP如何通过换位引入SIP？

1，通过“对应”推理，因为SAP和SIP构成差关系，即如果SAP为真，SIP必然为真，SIP可以被SAP引入；

2.通过不断的转置，第一步SAP转置到P is，第二步PIS转置到SIP，从而获得证书。