逻辑学的sap能退出什么

逻辑学的sap能退出什么

可推出很多：
根据对当关系,可以推出SEP假,SIP真,SOP假.
根据换质法,可以推出SE┐P.
根据换位法,可以推出PIS.
根据换质位法,可以推出┐PES
根据换位质法,可以推出PO┐S.