Почему задача о рыцарях и лжецах считается классическим примером математической логики?

Задача о рыцарях и лжецах считается классическим примером математической логики, потому что её решение требует последовательного анализа всей имеющейся информации и использования логических методов. school-science.ru nsportal.ru

Обычно решение подобных задач сводится к перебору вариантов с исключением тех, которые приводят к противоречию. ru.wikipedia.org nsportal.ru