替代性公理可以用于（）A比较事态体B简化事态体的比较C传递优先次序D获得等价确定值