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