Доказательство от противного¶

Определение. Метод: предположить, что тезис ложен (принять его отрицание), и вывести логическое противоречие; значит исходный тезис истинен. Опирается на закон исключённого третьего.