2.必要条件假言模态推理
这种形式是在必要条件假言推理中引入模态词“必然”而构成的假言模态推理，即“必然（只有p，才q）”可以推出“不可能（非p并且q）”。比如：
（1）必然只有不畏艰难，才能取得成功，
所以，不可能畏惧艰难并且还能取得成功。
（2）必然只有入虎穴，才能得虎子，
所以，不可能不入虎穴并且还能得虎子。
其推理形式可以表示为：
必然（只有p，才q）→不可能（非p并且q），即必然（p←q）→不可能（?p∧q）。
复合模态推理是比较复杂的一种推理形式，上面关于复合模态推理的介绍，也只是联言模态推理、选言模态推理和假言模态推理的基本形式。需要注意的是，不管进行任何形式的复合模态推理，都要遵循推理的有关规则。
在本章，我们主要讨论了各类演绎推理的规则、形式和应用。作为一种重要的思维形式，演绎推理不管是在研究领域还是日常生活中，都发挥着积极的作用。
猜测与演绎推理
本章我们主要讨论了演绎推理的逻辑思维形式，比如三段论、假言推理、选言推理等。亚里士多德认为，演绎推理是“结论可以从前提的已知事实‘必然的’得出的推理”。演绎推理的共同特征是，从一般到个别的，并且其结论所断定的范围不超出前提断定的范围。所以，演绎推理又可以定义为结论在普遍性上不大于前提的推理，或“结论在确定性上，同前提一样”的推理。三段论一般由大、小前提和结论三部分构成，其中大前提是指一般性的认识或规律，小前提则是指个别性认识或对象，由大、小前提推出结论的过程就是由一般到个别的过程。可以说，三段论推理是最为常用的演绎推理形式，因此也有人把演绎推理称为三段论推理。