Логические законы усваиваются школьниками часто на интуитивном уровне. При этом применение метода от противного требует четкого умения формулировать отрицание заданного высказывания, которое может быть составным. В качестве примера рассмотрим задачу: «Имеется 101 пуговица одного из 11 цветов. Докажите, что либо среди этих пуговиц найдутся 11 пуговиц одного цвета, либо 11 пуговиц разных цветов». Доказываемое утверждение имеет вид: (А или В), где А – «найдутся 11 пуговиц одного цвета», В – «найдутся 11 пуговиц разных цветов»...

Доказа́тельство — рассуждение по определённым логическим правилам, обосновывающее истинность какого-либо предположения, утверждения, гипотезы или теории. В разных областях науки, искусства и иной человеческой деятельности этот термин может принимать различные значения. Прежде всего понятие «доказательство» является ключевым и в теории познания, и в философии науки — как ключевое в эпистемологии...