命题逻辑（二十五）

二难推理（四）——复杂构成式

推理形式为：

（p→r）∧（q→s）∧（p∨q）→（r∨s）

例如：

如果这次实验成功，那么应该好好总结经验；

如果这次实验失败，那么应该好好总结教训；

这次实验或者成功，或者失败；

所以或者应该好好总结经验，或者应该好好总结教训。