多项选择题

A.直接推理
B.间接推理
C.三段论推理
D.有效式
E.无效式