除了复合推理形式之外，还有一些常见的推理形式，如：假言易位、蕴析律、假言连锁、( )、反证法、归谬法。