名词解释

【参考答案】

通过证明反论题(与原论题具有矛盾关系或下发对关系的命题)为假,从而根据排中律,推出原论题为真的证明方法。