Это типичная задача по математической логике. Она хорошо известна, но это не делает её простой или неинтересной. Одну из интерпретаций этой задачи раньше можно было услышать в стенах Apple на собеседованиях. Да и в других компаниях наверняка тоже. Вы стоите в коридоре, в котором две двери. Одна неминуемо ведет на казнь, другая — в сокровищницу. Рядом с каждой дверью стоит стражник. Они оба знают, какая дверь куда ведет. Проблема в том, что один из стражников говорит только правду, а другой всегда лжет, и вы об этом знаете, но не знаете, кто есть кто...

В общих чертах. Метод "от противного" или же "от обратного" часто применяется в решении математических задач и доказательстве теорем. Сам метод можно условно разделить на 3 этапа : 1)Устанавливаем какие варианты возможны при решении задачи или доказательстве теоремы. (Например: угол может быть тупым, прямым или острым; значение переменной a может быть больше, меньше или равно значению переменной b). 2)Доказываем для каждого нежелательного варианта, что он неверен. (Как правило удаётся установить,...