Прямым называют доказательство, в котором тезис обосновывается аргументами без использования противоречащих тезису допущений.
Косвенным называют доказательство, в котором истинность тезиса обосновывается с использованием противоречащего тезису допущения.
Апагогическим называют косвенное обоснование истинности тезиса путем установления ложности противоречащего ему допущения.
Разделительным называют косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления ложности и исключения всех других членов дизъюнкции.