Логические задачи: рыцари, лжецы и мудрецы
Задачи на логику не требуют сложных вычислений, но требуют безупречного рассуждения. Классика жанра — остров рыцарей (всегда говорят правду) и лжецов (всегда лгут).
Метод перебора гипотез: предположим, что персонаж А — рыцарь. Приведет ли это к противоречию? Если да, то он лжец. Таблицы истинности помогают систематизировать условия, когда персонажей много.
Задачи про мудрецов и колпаки используют идею "общего знания". Каждый мудрец видит цвета других, но не свой. Рассуждая за других ("Если бы у меня был белый колпак, то мой сосед бы сразу понял..."), они приходят к выводу о цвете своего колпака.
Парадоксы и самореференция ("Это утверждение ложно") также встречаются в олимпиадной логике. Важно уметь формализовать высказывания и строить отрицания к сложным суждениям (законы де Моргана).
