主要公开日志

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

• 2023年9月2日 (六) 14:45 Gsxab 留言 贡献创建了页面反证法 （创建页面，内容为“分类:证明方法 {{InfoBox |name=反证法 |eng_name=proof by contradiction }} '''反证法'''('''proof by contradiction''')，指通过引入命题反面假设并演绎出矛盾，来证明原命题的一种方法。 对应于自然演绎法中的否定消去( <math>\lnot</math> -elim)，对应的重言式是双重否定式。 == 描述 == 有假设集 <math>\Gamma</math> 要证明 <math>\phi</math> 时，引入新假设 <math>\lnot\phi</…”）