单项选择题

替代性公理可以用于()

A.比较事态体
B.传递优先次序
C.简化事态体的比较
D.获得等价确定值