以SEP为前提,可必然推出()和()。
A:PAS
B:SIP
C:SOP
D:PES
E:POS
出自:哲学