将“有的花不是红色的”进行换质推理的逻辑形式用公式表示为()
A:SOP-->SIP
B:SIP-->SOP
C:SAP-->SEP
D:SEP-->SIP
出自:哲学