“穷举法”的版本历史

2023年9月2日 (星期六)

• 当前之前 15:222023年9月2日 (六) 15:22 Gsxab 留言 贡献 865字节 +865 创建页面，内容为“分类:证明方法 {{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> 时…”