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