1. 形式逻辑
   1. 逆否传递
      1. 6种逻辑关系
      2. 摩根公式
         1. -(p或q)=-p且-q
         2. -（p且q）=-p或-q
      3. 推理规则
         1. 逆否
            1. p→q=-q→-p
         2. 传递
            1. p→q,q→R可得p→q→R
         3. 逆否传递
            1. p→q→R可得-R→-q→-p
   2. 技法型
2. 非形式逻辑
   1. 削弱
      1. 否因
      2. 他因
      3. 反例
   2. 假设、支持
      1. 排他因
      2. 否因否果
      3. 推论可行
   3. 解释
   4. 归纳