普通逻辑学习笔记 联言推理

　　联言推理就是前提或结论为联言判断的推理。联言推理有两个有效式：

　　一、分解式

　　它是由前提中联言判断的真，推出其任一支判断真的联言推理。其推理形式如下：

　　　　p并且q　　　　或　　　　p并且q

　　　　所以，p　　　 　　　　　所以，q

也可以符号化为：

　　　　（pÙq）®p　　　　或　　　　（pÙq）®q

　　二、组合式

　　它是由前提中全部支判断真，推出联言判断真的联言推理。其推理形式如下：

　　　　p，

　　　　q，

　　　　所以，p并且q

也可以符号化为：

　　　　（p，q）®pÙq