活动中心17653708
逻辑推理证明可以被分为正向逻辑推理证明和逆向逻辑推理证明，那么我们要验证我们所作出的逻辑推理证明是否正确，通常情况下会采用与之前推理路径相反的逻辑推理方法，也可以说是反证法，但是这种方法必须是应用在在原命题大前提和小前提都不改变的情况下进行，否则反证过程就会错误，得到的验证结果也将会是不准确的。当然逻辑推理证明本身是与理性判断共存的，被应用在感性世界里再科学合理的逻辑推理证明与验证都是会失效的。
分享到:
逻辑推理证明可以被分为正向逻辑推理证明和逆向逻辑推理证明，那么我们要验证我们所作出的逻辑推理证明是否正确，通常情况下会采用与之前推理路径相反的逻辑推理方法，也可以说是反证法，但是这种方法必须是应用在在原命题大前提和小前提都不改变的情况下进行，否则反证过程就会错误，得到的验证结果也将会是不准确的。当然逻辑推理证明本身是与理性判断共存的，被应用在感性世界里再科学合理的逻辑推理证明与验证都是会失效的。
