多项选择题

A.传递关系推理
B.对称关系推理
C.反对称关系推理
D.非对称关系推理