1、构成式
一种假言命题的正向推导过程，一般包括两种形式：
①如果A，那么B;如果C，那么B;A或C;所以，B.
②如果A，那么B;如果C，那么D;A或C;所以，B或D.
2、破坏式
利用假言命题“否定后件得出否定前件”这一推理规则变相进行的推理，也包括两种形式：
①如果A，那么B;如果A，那么C;非B或非C;所以，非A.
②如果A，那么B;如果C，那么D;非B或非D;所以，非A或非C.
具体示例及运用如图1
3、特殊式
用假言命题的“连锁推理”规则把复杂的推理形式简化，进而解决问题。包括两种形式：
①如果A，那么B;如果A，那么非B;所以，非A.
②如果A，那么B;如果非A，那么B;所以，B.
具体示例及运用如图2
