按照不同的标准，可以对证明进行不同的分类，按论证方式(即论证过程中所运用的推理形式)的不同，证明可分为演绎证明和归纳证明；按论证方法的不同(即是否对论题直接进行论证)可分为直接证明与间接证明。

演绎证明是借助于演绎推理来进行的证明，即用一般原理来证明特殊事实的一种证明。在这种证明中，论据主要是一般性原理，论题是关于某种特殊事实的论断。归纳证明是借助于归纳推理进行的证明，即用某种典型的关于特殊事实的判断来证明一般原理的一种证明。在这种证明中，论据是关于特殊事实的判断，而论题则是某个一般性的原理。归纳推理一般说来是一种或然性推理，因此，在严格的论证中，用不完全归纳推理建构的证明一般只能起辅助作用。至于完全归纳推理或科学归纳推理所建构的证明，由于这两种推理中，前者实质上是一种必然性推理，后者也是一种包含着演绎因素的，因而结论具有较高可靠性的推理。

直接证明就是从论据的真实直接推出论题的真实的一种证明方法。间接证明又称反证法，它是通过证明反论题的虚假，从而判明我们所要证明的论题真实的一种证明方法。

运用间接证明方法进行证明，一般有三个步骤：(1)设立反论题(即与我们所要证明的论题相矛盾的论题)；(2)证明反论题是虚假的；(3)根据排中律，推出我们所要证明的论题的真实。从间接证明的这个特点来看，间接证明实质上是选言推理的否定肯定式的运用，即从否定反论题真实，而推出我们所要证明的论题真实。可见，为了进行间接证明，最关键的是要证明反论题的虚假(即否定反论题的真实)。为此通常采用两种方法：归谬法和穷举法。

归谬法是一种先假定反论题为真，并从中引出谬误的推断，然后，根据假言推理的否定式，从否定谬误的推断到否定反论题的真实的一种方法。既然否定了反论题的真实，那么，根据排中律，自然也就证明了我们所要证明的论题是真实的。还有一种经常运用的反证法是穷举法。穷举法就是列举出除我们所要证明的论题外还可能成立的其他各种不同论题，然后根据事实或推理将这些不同论题一一予以否定，从而证明我们所要证明的论题为真的一种方法。可见，穷举法实质上是选言推理的否定肯定式和完全归纳推理的联合运用。