На Марсе были обнаружены существа, имеющие головы. Один ученый сообщил: "Каждый марсианин имеет две головы". Позже выяснилось, что он ошибся. Какое из следующих утверждений обязательно верно?
A) Не существует марсиан с двумя головами
B) Каждый марсианин имеет или одну голову, или больше двух
C) Существует марсианин с одной головой
D) Существует марсианин, имеющий больше двух голов
E) Существует марсианин, имеющий одну голову, или больше двух

В чем может заключаться ошибка ученого:
1)Не каждый марсианин имеет 2 головы и
2) Каждый марсианин не имеет 2 головы и
3) Каждый марсианин имеет не 2 головы.
Тогда обязательно верны утверждения:
Не существует марсиан с двумя головами и
существует марсианин имеющий одну голову или больше двух.
                                                                              

Прежде чем выделить единственно верное выражение, я предлагаю подойти к теме с математической точки зрения и определить все возможные варианты утверждений. При этом мы имеем три варианта для количества голов: одна, две и три. Давайте для упрощения договоримся под словом "три" подразумевать "три и более". Есть такое понятие "полный факторный перебор" - он подразумевает исследование всех ситуаций, в которых варианты (факторы) присутствуют или отсутствуют вовсе. Число комбинаций напрямую зависит от количества (n) факторов - оно равно 2 в степени n. Таким образом мы должны иметь для нашего случая восемь вариантов изречений:
на Марсе нет существ с головами;там живут только одноголовые существа;кроме двухголовых, на планете нет других;с одной и двумя головами найти можно;исключительно по три головы на каждом;вместе с трёхголовыми встречаются одноголовые;одноголовых нет, есть только две или три;присутствуют все возможные ситуации.А теперь давайте приступим к исключению тех утверждений, которые не отрицаются умозаключением упомянутого в вопросе учёного. Так, например, в нашем задании самое первое предложение
свидетельствует о том, что пустая планета (справа вверху) не может быть верным решением. Ставим на ней крестик. Второй мы можем сразу нарисовать чуть левее, ведь учёный сам сказал, что ошибся, посчитав верным вариант "только две головы".
Всё! Исходные данные не позволяют нам отсечь ещё какие-либо комбинации марсианских голов. И теперь остаётся лишь поочерёдно примерять изречения к не зачёркнутым изображениям. Предлагаю начать с первого:
Смотрим на картинки и видим, что на самом деле всё наоборот - в четырёх комбинациях присутствуют двухголовые. Отрицаем это утверждение.
По сути мы наблюдаем повтор - выражение другими словами повторяет предыдущую фразу. Удаляем.
Исходные данные не позволяют нам согласиться с эти утверждением, потому что мы имеем две комбинации (только трёхголовые и трёхголовые с двухголовыми), при которых одноголовые могут отсутствовать. Вычёркиваем.
И точно также две комбинации (одноголовые и они же с двухголовыми) наглядно демонстрируют зыбкость утверждения. Отметаем его.
И только пятое высказывание не противоречит тем шести оставшимся комбинациям, которые у нас остались без крестиков. С ним мы не можем поспорить и переносим в число верных.