对位证明法 对位证明法英語proof by contrapositive又或者proof by negation或称否定证明法逆否命题法是逻辑數學的其中一個證明方法其与反证法相似但是是不同的概念根據邏輯 A  B displaystyle Ato B 等於  B   A displaystyle neg Bto neg A 即取其逆否命题 需要注意对位证明法与反证法不同