前提:如果一个四边形四个角都是直角,那么它是一个长方形;
如果一个四边形四条边都相等,那么它是一个菱形。
结论:如果一个四边形四个角都是直角并且四条边都相等,那么它既是长方形又是菱形。(这个四边形是正方形)
这就是假言联言推理,由两个充分条件假言命题和一个联言命题组成前提,从而推出一个为联言命题的结论。上面的是肯定形式。可以用逻辑符号间接地表示为:
前提:如果p,则q
如果r,则s。
结论:如果p且r,则q且s。
对于联言假言推理,它的结论还可以是否定形式。例如:
前提:如果明天是星期一,小张值班;
如果明天是星期二,小王值班。
结论:如果明天小张且小王都不值班,那么明天不是星期一和星期二。
上面这个例子同样可以用逻辑符号简洁地表示出来:
前提:如果p,则q
如果r,则s。
结论:如果非q且非s,则非p且非r。