运用反证法时，所设立的反论题必须是原论题的矛盾命题或反对命题