反证

近义词

反义词

词解

反证是一种推理方法,通过假设目标命题的否定,然后通过推导得到矛盾的结论,从而证明目标命题的真实性。在逻辑学和数学证明中,反证常被用来证明某些命题的正确性。