快好知 kuaihz

逻辑学:什么是假言联言推理

前提:如果一个四边形四个角都是直角,那么它是一个长方形;

如果一个四边形四条边都相等,那么它是一个菱形。

结论:如果一个四边形四个角都是直角并且四条边都相等,那么它既是长方形又是菱形。(这个四边形是正方形)

这就是假言联言推理,由两个充分条件假言命题和一个联言命题组成前提,从而推出一个为联言命题的结论。上面的是肯定形式。可以用逻辑符号间接地表示为:

前提:如果p,则q

如果r,则s。

结论:如果p且r,则q且s。

对于联言假言推理,它的结论还可以是否定形式。例如:

前提:如果明天是星期一,小张值班;

如果明天是星期二,小王值班。

结论:如果明天小张且小王都不值班,那么明天不是星期一和星期二。

上面这个例子同样可以用逻辑符号简洁地表示出来:

前提:如果p,则q

如果r,则s。

结论:如果非q且非s,则非p且非r。

 

本站资源来自互联网,仅供学习,如有侵权,请通知删除,敬请谅解!
搜索建议:逻辑学:什么是假言联言推理  假言  假言词条  逻辑学  逻辑学词条  推理  推理词条  什么  什么词条