“逆否证法”的版本历史

2025年12月25日 (星期四)

• 当前之前 02:472025年12月25日 (四) 02:47 Gsxab 留言 贡献 870字节 −5 无编辑摘要

2025年11月30日 (星期日)

• 当前之前 15:532025年11月30日 (日) 15:53 Gsxab 留言 贡献 875字节 +16 无编辑摘要

2023年9月2日 (星期六)

• 当前之前 15:082023年9月2日 (六) 15:08 Gsxab 留言 贡献 859字节 +859 创建页面，内容为“分类:证明方法 {{非标准翻译}} {{InfoBox |name=逆否证法 |eng_name=proof by contrapositive }} '''逆否证法'''('''proof by contrapositive''')，指通过证明原命题的逆否命题，来证明原命题的一种方法。 对应的重言式是换质换位式。 == 描述 == 有假设集 <math>\Gamma</math> 要证明 <math>p \rightarrow q</math> 时，演绎 <math>\Gamma \vdash \lnot q \rightarrow \lnot p</math> 。 根据换质换…”