假言联言推理
定义：由假言判断和联言判断做前提，并且根据假言前提联结项的逻辑性质推出结论的演义推理 。
如：
种类：根据假言联言推理的结论是简单判断还是联言判断分为简单式和复杂式。
模仿假言选言推理,假言联言推理有四种形式：
1 简单构成式
如果P，那么R
如果Q，那么R
P并且Q
所以，R
[（P→R）∧（Q→ R）∧（P∧Q）]→ R
如：
2 简单破坏式
如果P，那么Q
如果P，那么R
非 Q并且非 R
所以，非P
[（P→Q）∧（P→R）∧（┐R∧┐Q）]→ ┐P
如：
3 复杂构成式
如果P，那么R
如果Q，那么S
P并且Q
所以，R并且S
数理逻辑符号形式 [（P→R）∧（Q→S）∧（P∧Q）]→（R∧S）
4 复杂破坏式
如果P，那么R
如果Q，那么S
非R并且非S
所以，非P并且非Q
数理逻辑符号形式 [（P→R）∧（Q→S）∧（┐R∧┐S）]→（┐P∧┐Q）
定义：由假言判断和联言判断做前提，并且根据假言前提联结项的逻辑性质推出结论的演义推理 。
如：
如果某人有选举权，那么他就年满18岁
如果某人有选举权，那么他就没有被剥夺政治权利
某人年满18岁并且没有被剥夺政治权利
所以，某人有选举权
常见的假言联言推理是：以两个充分条件假言判断和一个两肢的联言判断做前提，推出一个简单判断或一个两肢的联言判断做结论的演义推理。如果某人有选举权，那么他就没有被剥夺政治权利
某人年满18岁并且没有被剥夺政治权利
所以，某人有选举权
种类：根据假言联言推理的结论是简单判断还是联言判断分为简单式和复杂式。
模仿假言选言推理,假言联言推理有四种形式：
1 简单构成式
如果P，那么R
如果Q，那么R
P并且Q
所以，R
[（P→R）∧（Q→ R）∧（P∧Q）]→ R
如：
如果某甲犯贪污罪，那么他应受刑罚处罚
如果某甲犯盗窃罪，那么他应受刑罚处罚
某甲即犯贪污罪又犯盗窃罪
所以，他应受刑罚处罚
如果某甲犯盗窃罪，那么他应受刑罚处罚
某甲即犯贪污罪又犯盗窃罪
所以，他应受刑罚处罚
2 简单破坏式
如果P，那么Q
如果P，那么R
非 Q并且非 R
所以，非P
[（P→Q）∧（P→R）∧（┐R∧┐Q）]→ ┐P
如：
如果某人真正认识了错误，那么他会诚恳地承认错误
如果某人真正认识了错误，那么他会自觉的改正错误
某人即不诚恳的认识错误又不自觉的改正错误
所以，他并没有真正认识错误
如果某人真正认识了错误，那么他会自觉的改正错误
某人即不诚恳的认识错误又不自觉的改正错误
所以，他并没有真正认识错误
3 复杂构成式
如果P，那么R
如果Q，那么S
P并且Q
所以，R并且S
数理逻辑符号形式 [（P→R）∧（Q→S）∧（P∧Q）]→（R∧S）
4 复杂破坏式
如果P，那么R
如果Q，那么S
非R并且非S
所以，非P并且非Q
数理逻辑符号形式 [（P→R）∧（Q→S）∧（┐R∧┐S）]→（┐P∧┐Q）
1
