Логика в классике: выводы без прямого наблюдения

Классическая мафия ценна тем, что многие решения в ней можно вывести математикой и логикой, а не только чувством. Этот урок объясняет, что такое логический вывод за столом, и учит отделять то, что точно известно, от того, что вы лишь предполагаете.

Что такое логика в игре

Логика это способность прийти к выводу, не наблюдая его напрямую. Бытовой пример: если на столе нет хлеба, а вы знаете, что вчера он был и никто не выходил, вы заключаете, что хлеб съели, хотя не видели, как это произошло. В мафии так же: вы не видите чужих карт, но из числа живых игроков, найденных цветов и результатов ночей можно сделать несколько надёжных выводов.

Первый вывод: сколько чёрных может быть за столом

Игра заканчивается, когда чёрных становится столько же, сколько красных. Поэтому утром (или днём) при заданном числе живых игроков число чёрных ограничено.

Утро, на столе пять человек. Три чёрных за столом быть не может: при трёх чёрных и двух красных игра закончилась бы раньше. Значит, чёрных максимум два.
На столе шесть человек: чёрных не больше двух, иначе было бы три против трёх.
На столе семь человек: чёрных не больше трёх, игра может продолжаться.

Этот простой расчёт позволяет сразу отбросить невозможные расклады и не тратить на них время.

Второй вывод: факты и интерпретации

Любая версия строится из фактов и их интерпретаций.

Факты. Кто что сказал, как проголосовал, кто выставил, какая проверка объявлена, кого убили ночью.
Интерпретации. Что это значит: «выставил, чтобы защитить партнёра», «молчал, потому что боится».

Факты можно проверить, интерпретации нельзя. Объективное мы отделяем от субъективного, потому что на субъективное влияют когнитивные искажения: симпатия, усталость, желание быть правым. Хорошая версия опирается на максимум фактов и честно помечает интерпретации как гипотезы.

Как строить вывод шаг за шагом

Выпишите известные факты по кругам.
Посчитайте, сколько красных и чёрных осталось по формуле игры.
Запишите, какие цвета известны и насколько надёжно.
Проверьте, какие расклады невозможны по счёту.
Среди возможных расклады выберите те, где меньше допущений.

Пример (составлен для Академии)

Утро, на столе шесть человек. Известно: найден один чёрный (он ушёл на голосовании), второй красный по шерифской проверке уже убит. Сколько чёрных за столом?

В начале было три чёрных. Один выведен, значит осталось два. Шесть живых при двух чёрных и четырёх красных: игра продолжается. Если бы красных было трое, а чёрных трое, игра бы закончилась. Вывод: за столом ровно два чёрных, и их ищут среди шести игроков.

Тренировка

Пять живых, утро. Сколько чёрных может быть? Объясните, почему не три.
Семь живых, найден один чёрный. Что вы знаете о числе чёрных среди оставшихся шести?
Выпишите из любой записи партии по пять фактов и пять интерпретаций.

Типичные ошибки

Выдавать интерпретацию за факт.
Забывать пересчитывать после каждого выхода.
Считать «логикой» догадку, которой нет расчёта.

Источник идеи. Глава «Логика в классике» из книги Дмитрия Новика «50 оттенков красного» (2021). Примеры, структура и упражнения составлены для Академии.