运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的()

运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的()
A、肯定前件式
B、肯定后件式
C、否定前件式
D、否定后件式
【正确答案】：D
【题目解析】：考查：反证法运用的推理形式。反证法就是通过假设原论题不成立由此推出矛盾，从而得出论题为真的间接论证。运用反证法的步骤大致为：设定与原论题相矛盾的反论题；论证反论题假，通常以反论题为前件构成一个充分条件假言判断，再以此为前提构成一个充分条件假言推理的否定后件式，并由否定后件推出否定前件；根据排中律，由反论题为假，论证原论题为真。故选D。