离散数学——基础推理
概览推理的定义推理的定义推理的规则推理方法↓（ 直接证明法规则cp证明法 间接证明法）推理的定义：推理的有效性≠正确性推理的有效性＝命题的前提为真证明推理的判定定理，即证明公式为永真公式判定方法有：真值表技术公式转化法主析取范式法例：推理定律——基本蕴含关系推理规则使用已知条件时很自由 想先用那个用哪个要找准切入点演绎的基本形式P是已知条件I基本蕴含关系...
·
概览
-
推理的定义
-
推理的定义
-
推理的规则
-
推理方法↓
（ 直接证明法 规则cp证明法 间接证明法）
推理的定义：
推理的有效性≠正确性
推理的有效性＝命题的前提为真
证明推理的判定定理，即证明公式为永真公式
判定方法有：
- 真值表技术
- 公式转化法
- 主析取范式法
例：
推理定律——基本蕴含关系
推理规则
使用已知条件时很自由 想先用那个用哪个
要找准切入点
演绎的基本形式
P是已知条件
I基本蕴含关系
E等价推导
T是推理结果/中间结论
可以从结论出发找到切入点
例1.直接证明法
例2.规则cp证明法
结论是蕴含式， 从结论出发，附加前提R
例3.间接证明法
反证法 是规则cp的一种变形，面型如下↓
技术共进，成长同行——讯飞AI开发者社区
更多推荐
4
0- 0
已为社区贡献1条内容
所有评论(0)