В чём заключается метод доказательства от противного?

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

Затем, следуя логическому процессу, пытаются прийти к противоречию. 1 Если в итоге получается что-то, что не имеет смысла или противоречит само себе, это означает, что предположение было неверным. 1 Следовательно, исходное утверждение должно быть истинным. 1

Метод доказательства от противного состоит из нескольких шагов: 1

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

Этот метод часто используется в математике, но может применяться и в других областях. 1