应用反证法要做到三个必须

yangls728

应用反证法要做到三个必须
杨六省
yangls728@163.com
有些论题用直接证法不好证或者无法证明，这时，可以考虑应用反证法证明。
应用反证法要做到如下三个必须：
（1）找出与原论题必须是一真一假矛盾关系的论题，我们把它叫做原论题的反论题。
（2）反论题必须作为条件参与推理以推出矛盾。
（3）每步推理必须都是有效推理（指前提蕴涵着结论的推理）。
总结：矛盾的推出说明反论题是虚假的。于是，由排中律可知，原论题为真。