反证的近义词大全

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