В логике существуют следующие виды доказательств:

1. Прямое подтверждение тезиса. 1 С помощью аргументов непосредственно обосновывают истинность тезиса. 1 Для этого подыскивают подходящие аргументы и демонстрируют, что тезис логически вытекает из них. 1
2. Косвенное подтверждение тезиса. 1 Для установления истинности тезиса исследуют не сам тезис, а связанные с ним положения. 1 При этом выбирают такие положения, что из их ложности вытекает истинность основного тезиса. 1
3. Прямое опровержение тезиса. 1 Выставленное основание разрушается фактами, законами, новыми положениями, или демонстрируется отсутствие между тезисом и основанием необходимой связи. 1 Также тезис можно опровергнуть путём опровержения вывода. 1
4. Косвенное опровержение тезиса. 1 Для этого можно доказать истинность антитезиса или воспользоваться разделительным опровержением. 1

Также в зависимости от способа аргументации различают прямые и косвенные доказательства: 13

• Прямое доказательство идёт от рассмотрения аргументов к доказательству утверждаемого тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. 3
• Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. 3 Оно применяется тогда, когда нет аргументов для прямого доказательства. 3