假言推理是根据假言命题的逻辑性质进行的推理。分为充分条件假言推理,必要条件假言推理和充分必要条件假言推理三种。
否定前件式指在小前提中否定大前提的前件,结论则否定它的后件,
例如:只有承认错误,才能改正错误;
他不承认错误,
所以,他不能改正错误。
又如:只有某人递交了入党申请书,才能加入中国共产党,某人没有递交入党申请书,所以,某人不能加入中国共产党。
又如,只有深入实际调查研究,才能了解到第一手材料,
他不深入实际调査研究,
所以,他不能了解到第一手材料。
这种必要条件假言推理的逻辑结构形式可表示为:
只有p,オq,
非p,
所以非q。
扩展资料
充分条件和必要条件之间存在着密切的联系,如果p是q的充分条件,那么q就是p的必要条件。根据这种关系,充分条件和必要条件之间可以进行以下等价变形转换。
(1)如果p,那么q↔只有q,才p。
(2)猛贺只有p,启拆才q↔如果q,那么p。
(3)如果p,那么q↔如果非q,那么非p↔只有非p,才非p。
(4)只有p,才q↔如果非p,那么非q↔只有非q,才非p。
因为如果p则q和(p且非q)是矛盾关系,(p且非q)和(非p或q)是矛盾关系,所以(5)如果p则q=并非(p且非q)=非p或q
再由全称直言和假言的含义可得到以下变形:
(6)所有p是q=如果p则q
(7)所有p不是q=如果p则非q
通过以上变形推理,可把很多命题转化为充分条件命题,这样就可以利用我们熟悉的充分条件推理规枝旁派则快速进行推理。
参考资料来源:百度百科-假言推理
标签:假言,举个,推理