概览
-
推理的定义
-
推理的定义
-
推理的规则
-
推理方法↓
( 直接证明法 规则cp证明法 间接证明法)
推理的定义:
推理的有效性≠正确性
推理的有效性=命题的前提为真
证明推理的判定定理,即证明公式为永真公式
判定方法有:
- 真值表技术
- 公式转化法
- 主析取范式法
例:
推理定律——基本蕴含关系
推理规则
使用已知条件时很自由 想先用那个用哪个
要找准切入点
演绎的基本形式
P是已知条件
I基本蕴含关系
E等价推导
T是推理结果/中间结论
可以从结论出发找到切入点
例1.直接证明法
例2.规则cp证明法
结论是蕴含式, 从结论出发,附加前提R
例3.间接证明法
反证法 是规则cp的一种变形,面型如下↓