对位证明法 编辑
对位证明法，或称否定证明法、逆否命题法，是逻辑数学的其中一个数学证明方法。其与反证法相似，但是是不同的概念。根据逻辑，“



A
→
B


{\displaystyle A\to B}

”等于“



¬
B
→
¬
A


{\displaystyle \neg B\to \neg A}

”，即取其逆否命题。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
逆否命题是逻辑和数学的一种结构变换推理，一般用于在逻辑等价的前提下改变条件命题的结构。逆否命题也用于对位证明法。逆否定将前件与后件否命题和逆命题。