1、可推出很多:根据对当关系，可以推出SEP假，SIP真，SOP假。
2、根据换质法，可以推出SE┐P。
3、根据换位法，可以推出PIS。
4、根据换质位法，可以推出┐PES根据换位质法，可以推出PO┐S。
