对位证明法维基百科,自由的 encyclopedia 对位证明法[1](英语:proof by contrapositive,又或者proof by negation),或称否定证明法、逆否命题法[2],是逻辑数学的其中一个证明方法。其与反证法相似,但是是不同的概念。根据逻辑,“ A → B {\displaystyle A\to B} ”等于“ ¬ B → ¬ A {\displaystyle \neg B\to \neg A} ”,即取其逆否命题。[3] 此条目需要精通或熟悉数学的编者参与及协助编辑。 (2021年11月18日) 需要注意,对位证明法与反证法不同。
对位证明法[1](英语:proof by contrapositive,又或者proof by negation),或称否定证明法、逆否命题法[2],是逻辑数学的其中一个证明方法。其与反证法相似,但是是不同的概念。根据逻辑,“ A → B {\displaystyle A\to B} ”等于“ ¬ B → ¬ A {\displaystyle \neg B\to \neg A} ”,即取其逆否命题。[3] 此条目需要精通或熟悉数学的编者参与及协助编辑。 (2021年11月18日) 需要注意,对位证明法与反证法不同。