反证法是先论证与原论题相矛盾的论断为假，再根据排中律确定原论题为真的方法。
例如，邓小平论述“必须坚持实事求是”是这样讲的：
如果反对实事求是，反对从实际出发，反对理论和实践相结合，那还说得上什么马克思列宁主义、毛泽东思想呢？那会把我们引导到什么地方去呢？很明显，那只能引导到唯心主义和形而上学，只能引导到工作的损失和革命的失败。
第一，将与原论题相矛盾的论断设为反论题。
第二，论证反论题为假（不能成立）。通常使用的方法是以反论题为前件构成一个充分条件假言判断，其后件是明显虚假的判断。再以此为前提构造一个充分条件假言推理的否定后件式，并由否定后件推出否定前件（即反论题为假）的结论。
第三，根据排中律，由反论题为假，确定原论题必为真。
①求证： p
②设： 非p
③证： 如果非p，则q
非q
所以，并非（非p）
④所以： p
