：“可能P”是真的以﹁□SEP为前提进行对当关系模态推理，其结论是（）A◇SIP.B□SEP.C□SAP.D□﹁SIP.