反证法是先论证与原论题相矛盾的论断为假，然后根据矛盾律确定原论题真。