性质判断换质法推理，由SEP能推出（），由SIP推出（）。