在证明中运用反证法要借助于（）

在证明中运用反证法要借助于（）
A、充分条件假言推理否定后件式  
B、充分条件假言推理否定前件式
C、 二难推理肯定前件式
D、选言推理否定肯定式
E、不相容造言推理肯定否定式
【正确答案】：AD
【题目解析】：在证明中、运用反证法要借助于充分条件假言推理否定后件式、选言推理否定肯定式。