В чем заключается математическая логика теории рыцарей и лжецов?

Возможно, имелись в виду задачи о рыцарях и лжецах — разновидность математических задач, в которых фигурируют персонажи: лжец, всегда говорящий ложь, и рыцарь, всегда говорящий правду. ru.ruwiki.ru school-science.ru

Математическая логика таких задач заключается в переборе вариантов и исключении тех, которые приводят к противоречию. ru.ruwiki.ru school-science.ru

Практически всегда в подобных задачах рыцари и лжецы могут говорить лишь «да» или «нет» (исключаются варианты типа «невозможно дать ответ» или «не знаю»). ru.ruwiki.ru

Существуют задачи с тремя типами персонажей: рыцари, лжецы и нормальные люди (вариант — шпионы), которые могут как лгать, так и говорить правду. ru.ruwiki.ru school-science.ru

Такие задачи часто фигурируют в детских математических олимпиадах и учат логически рассуждать и нестандартно мыслить. ru.wikipedia.org school-science.ru