离散数学——基础推理

概览

• 推理的定义

• 推理的定义

• 推理的规则

• 推理方法↓

（  直接证明法 规则cp证明法  间接证明法）

---

 推理的定义：

 推理的有效性≠正确性

推理的有效性＝命题的前提为真

证明推理的判定定理，即证明公式为永真公式

判定方法有：

• 真值表技术
• 公式转化法
• 主析取范式法

例：

 

 

推理定律——基本蕴含关系

 

推理规则

使用已知条件时很自由 想先用那个用哪个

要找准切入点

 演绎的基本形式

P是已知条件

I基本蕴含关系

E等价推导

T是推理结果/中间结论

可以从结论出发找到切入点 

 

例1.直接证明法

例2.规则cp证明法

结论是蕴含式， 从结论出发，附加前提R

例3.间接证明法

反证法 是规则cp的一种变形，面型如下↓