逻辑学作业1下列公式是对当关系推理的有效式,其中根据反对关系进行推理的是( ). A SAP→ØSOP B