• 1. 应用反证法推出矛盾的推导过程中，要把下列哪些作为条件使用(    )

  ①结论的否定，即假设；②原命题的条件；③公理、定理、定义等；④原命题的结论.

  A . ①② B . ①②④ C . ①②③ D . ②③