快好知 kuaihz订阅观点

 

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

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

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

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

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

前提:如果p,则q

如果r,则s。

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

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

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

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

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

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

前提:如果p,则q

如果r,则s。

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

 

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

 逻辑学:判断与语句

我们曾经分析过思维形式和思维内容的联系。判断与语句的关系与思维形式和思维内容的关系一样,也是既相互联系,又相互区别。判断与语句的联系语句是一种语言形式,判断是一...(展开)