文章目录
- 定义
- 假言推理
- 拒取式推理
- 肯定后件错误
- 否定前件错误
定义
从一组已知为真的事实出发，直接运用经典逻辑的推理规则推出结论的过程称为自然演绎推理。
其中基本的推理是P规则、T规则、假言推理、拒取式推理等
假言推理
P为真，P->Q为真，则Q为真
如：
“铜是金属”为真
“如果x是金属，则x可以导电”为真
得出：“铜可以导电”
拒取式推理
P->Q为真，Q为假，则P为假
如：
“如果下雨，则地上会湿”为真
“地上湿了”为假
得出：“没有下雨”
肯定后件错误
希望通过肯定后件Q来推出前件为真的错误
“如果下雨，则地上会湿”为真
“地上湿了”为真
得出：“下雨了”
显然这是错误的，因为地上湿了不一定是因为下雨，洒水也会湿
否定前件错误
希望通过否定前件来推出后件为假
“如果下雨，则地上会湿”为真
“下雨了”为假
得出：“地上不湿”
不下雨时，洒水也会使地变湿，所以错误