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

  ①结论的反设；②已知条件；③定义、公理、定理等；④原结论.

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