间接证明法都包括哪些 逻辑与批判性思维

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/13 16:59:59

间接证明法都包括哪些 逻辑与批判性思维
间接证明法都包括哪些 逻辑与批判性思维

间接证明法都包括哪些 逻辑与批判性思维
书里没有吗?
-----------------------
回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=0.
(3)
公里就是一定是正确de,无需证明,直接可以判断,基本是没有数学知识的人也知道的
而定理是通过公里可以证明的,需要一定数学知识