一、演绎证明、归纳证明与类比证明
（一）演绎证明
演绎证明就是运用演绎推理形式的证明。其特点是：它的论据往往是一般原理，而论题往往是反映与一般原理有关的特殊场合的命题。
（二）归纳证明
归纳证明就是运用归纳推理形式作为论证方式的证明。其特点是：用一些特殊性的命题来证明一般性的道理。
（三）类比证明
类比证明就是运用类比推理形式作为论证方式所进行的证明。这种方法的特点是把两种具有某些相同或相似属性的事物进行比较，用一个事物具有某属性来说明另一个事物也应具有该属性，从而确立论题的真实性。
二、直接证明与间接证明：
1.直接证明
直接证明就是由论据按照推理规则直接推出论题的证明。其特点是：从论题出发，为论题的真实性直接提供证明理由。直接证明是最常见的证明方法。
2.间接证明
间接证明就是通过确定其他命题的虚假来确定论题真实性的证明，就是说，用这种证明方法证明的论题不是由论据按照推理规则直接推得，而是通过间接的方法得到证明的。间接证明分为反证法和选言证法。