假设要证明的命题能够写成形式:
是某个固定的整数
假设:
- 为真
- 对于任意的 :若前面一个是真,后面一个就是真
结论: 对所有的整数 都有 为真
证明方法:指派 次,反复用分离规则即可
强数学归纳假设
假设:
- 为真
- 对于任意的 :若前面从最开始的 开始所有的都是真,后面一个才是真
结论: 对所有的整数 都有 为真
证明方法相同,全称量词的指派要指派完所有
假设要证明的命题能够写成形式:
是某个固定的整数
假设:
结论: 对所有的整数 都有 为真
证明方法:指派 次,反复用分离规则即可
假设:
结论: 对所有的整数 都有 为真
证明方法相同,全称量词的指派要指派完所有