假言命题推理
假言推理分两类:
混合假言题和纯粹假言推理。
混合假言推理
1、充分条件假言推理及其有效式
充分条件假言推理规则:肯定前件就要肯定后件,否定后件就要否定前件;否定前件不能否定后件,肯定后件不能肯定前件。
如:
如果天下雨,地就会湿。
肯定前件就要肯定后件
如果天下雨,地就会湿
天下雨了,
所以,地湿了。
否定后件就要否定前件
如果天下雨,地就会湿。
地没有湿,
所以,天没有下雨。
否定前件不能否定后件
如果天下雨,地就会湿。
天没有下雨
所以,地没有湿。(结论错误)
肯定后件不能肯定前件
如果天下雨,地就会湿
地湿了
所以,天下雨了。
充分条件假言推理的有效式
1、肯定前件式
如果p,则q
P
所以q
(p q) ∧p q
练习:
如果电灯亮了,就不会断路。
用肯定前件式推理
假言命题推理 来自淘豆网m.daumloan.com转载请标明出处.
