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