多项选择题

A.肯定析取支
B.否定前件
C.肯定后件
D.假言三段论