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

Доказательство

Прямое Косвенное

Апагогическое Разделительное

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

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

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

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