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