Схема 22. Виды доказательства

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

Косвенным называют доказательство, в котором истинность тезиса обосновывается с использованием противоречащего тезису допущения.

Апагогическим называют косвенное обоснование истинности тезиса путем установления ложности противоречащего ему допущения.

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