间接证明/直接证明的全部方法

Answer 1

书里没有吗？？
-----------------------
回lz（1，2）
1. 直接证明
2. 间接证明
3数学归纳法(Induction)

1. 归纳基础: P(1)
2. 归纳步骤: (m>=1&P(m))->P(m+1), " m.

递归方法
如果一个对象部分地由自己所组成，或者按它自己定义，则称为是递归的递归定义的函数f, f的定义域: 非负整数集
1. 递归基础: f(0)
2. 递归步骤: f(n)=g(f(k)) k<n, n>=0.
（3）
公里就是一定是正确de，无需证明，直接可以判断，基本是没有数学知识的人也知道的
而定理是通过公里可以证明的，需要一定数学知识

参考资料：摆渡知道摆渡