主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年9月2日 (六) 15:08 Gsxab 留言 贡献创建了页面逆否证法 （创建页面，内容为“分类:证明方法 {{非标准翻译}} {{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> 。 根据换质换…”）