• 1. (2020高二下·吉林月考) 应用反证法推出矛盾的推导过程中要把下列哪些作为条件使用：

  ①结论相反的判断，即假设②原命题的条件③公理、定理、定义等④原结论