在邏輯上，SAP如何通過換位引入SIP？

1，通過“對應”推理，因為SAP和SIP構成差關系，即如果SAP為真，SIP必然為真，SIP可以被SAP引入；

2.通過不斷的轉置，第壹步SAP轉置到P is，第二步PIS轉置到SIP，從而獲得證書。