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

2020年1月20日11:29:17逻辑学:什么是假言联言推理已关闭评论

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

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

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

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

前提:如果p,则q

如果r,则s。

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

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

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

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

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

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

前提:如果p,则q

如果r,则s。

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

 

  • 版权声明:本篇文章(包括图片)来自网络,由程序自动采集,著作权(版权)归原作者所有,如有侵权联系我们删除,联系方式(QQ:452038415)。