Что такое метод доказательства «от противного»?

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

Например с тарелки на берегу острова исчез кусок мяса. Вокруг нет никого кроме рыб и птиц. Как доказать что мясо украла именно птица, а не рыба? А так, что рыба просто не может вылезти на берег в силу своих возможностей и поэтому этот вариант можно отбросить. И остаётся только птица.

Часто сыщики в фильмах используют этот метод для обнаружения преступника. Они просто отбрасывают из подозрения тех, кто не мог по определённым причинам этого сделать. И если у них это получилось, остаётся только виновник.

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

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

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

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

Суть метода доказательства от противного заключается в два этапах. Первое в доказательстве СУЩЕСТВОВАНИЯ самого "доказательства" и второе в доказательстве ЕДИНСТВЕННОСТИ доказания. Коряво описал, но хотел сказать следующее. При доказательстве теорем таким методом нужно показать, что существует решение данной задачи или теоремы, а затем доказать, что это решение будет единственное. Это не единственный метод применяемый в доказательстве теорем, но как математический и логический инструмент небезынтересный.

Данный закон основывается на законе двойного отрицания если не верно А, то А верно.

К примеру у вас как вы думаете язва. Ваш врач для того что бы опровергнуть это суждение, доказывает вам опровергая то в чем вы уверенны, то есть ваше утверждение и говорит, что у вас нет язвы так как гастроскопия показало что в полости желудка нет повреждений, вы не теряете вес и можете есть все что захотите.

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