多项选择题

A.间接证明的方法
B.间接反驳的方法
C.运用了选言推理的否定肯定式
D.运用了假言推理的否定后件式
E.运用了矛盾律