主要公开日志

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

• 2023年9月2日 (六) 15:22 Gsxab 留言 贡献创建了页面穷举法 （创建页面，内容为“分类:证明方法 {{InfoBox |name=穷举法 |eng_name=proof by exhaustion |aliases=分类证明,proof by cases,完全归纳法,complete induction,brute force method }} '''穷举法'''('''proof by exhaustion''')/'''完全归纳法'''('''complete induction''')，指通过把原命题拆解成有限的情况并分别证明，来证明原命题的一种方法。 == 描述 == 有假设集 <math>\Gamma</math> 要证明 <math>\forall t \phi(t/x)</math> 时…”）